diff options
author | Chris Lamb <lamby@debian.org> | 2018-08-20 10:02:23 +0100 |
---|---|---|
committer | Chris Lamb <lamby@debian.org> | 2018-08-20 10:06:22 +0100 |
commit | fd8a12df91fbc82b1ed17cb7f5d5ce0ec9017e54 (patch) | |
tree | 4f963ed9b089bd5fe3b88f1c4d8d649aa671acaa /bin/gen-DSA | |
parent | 47372ea24b6abff7886d15ca1d0a903da5bfaf5b (diff) |
bin/gen-DSA: Use $needed_file.
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 f0ef9b0fc7..3ced2eef36 100755 --- a/bin/gen-DSA +++ b/bin/gen-DSA @@ -393,14 +393,14 @@ EOF 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 + git diff -- data/$IDMODE/list $needed_file fi 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 if [ "$reply" = "Y" ] || [ "$reply" = "" ] || [ "$reply" = "y" ]; then - git add data/$IDMODE/list data/$idmode-needed.txt + git add data/$IDMODE/list $needed_file git commit -m "Reserve $IDMODE-$DAID for $PACKAGE" git push origin master fi |