diff options
| -rw-r--r-- | scripts/get-repo-desc.bash | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/get-repo-desc.bash b/scripts/get-repo-desc.bash index c952a0b..baf5d4a 100644 --- a/scripts/get-repo-desc.bash +++ b/scripts/get-repo-desc.bash @@ -1,5 +1,7 @@ #!/bin/bash +# This script extracts the repository description from the .gitinfo file and writes it to the repository's description file. + LOCK_FILE=/var/lock/get-repo-desc.lock exec 9>"$LOCK_FILE" |