diff options
author | Chris Lamb <lamby@debian.org> | 2018-06-26 18:01:40 +0100 |
---|---|---|
committer | Chris Lamb <lamby@debian.org> | 2018-06-26 18:01:40 +0100 |
commit | dc5cb4e95c053fc7ab6d07cf43af15d26649e8ae (patch) | |
tree | c86f37b79ef0b9ac85030f0e087e786a3318f247 /bin/gen-DSA | |
parent | a23133c71875898965b1e4fb42df75394fa9fde8 (diff) |
bin/gen-DSA: Support ELA for pushing to the repository.
Diffstat (limited to 'bin/gen-DSA')
-rwxr-xr-x | bin/gen-DSA | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/gen-DSA b/bin/gen-DSA index f2ba43e82b..f0ef9b0fc7 100755 --- a/bin/gen-DSA +++ b/bin/gen-DSA @@ -389,13 +389,13 @@ EOF sed -rn '/^'"$PACKAGE"'\b/{: next;n;/^\s/b next;d};p' $needed_file > $needed_file.new mv $needed_file.new $needed_file echo "$IDMODE text written to ./$IDMODE-$DAID" - if [ "$IDMODE" = "DLA" ]; then + if [ "$IDMODE" = "DLA" ] || [ "$IDMODE" = "ELA" ]; then idmode=$(echo "$IDMODE" | tr A-Z a-z) if [ -d .git ]; then echo "Made the following changes:" git diff -- data/$IDMODE/list data/$idmode-needed.txt fi - warn "you need to commit and push the changes to data/$IDMODE/list and data/$idmode-needed.txt to actually reserve the $IDMODE-$DAID number and avoid conflicts with others." + warn "you need to commit and push the changes to data/$IDMODE/list etc. to actually reserve the $IDMODE-$DAID number and avoid conflicts with others." if [ -d .git ]; then echo -n "Do you want to commit and push them now ? [Yn] " read reply |