diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update-gitignore.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/scripts/update-gitignore.sh b/scripts/update-gitignore.sh deleted file mode 100755 index ef03d3b..0000000 --- a/scripts/update-gitignore.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash - -BEGIN_MARKER="# begin generated files" -END_MARKER="# begin generated files" - -# remove the previous list of generated files to ignore -sed -i -e "/${BEGIN_MARKER}/,/${END_MARKER}/d" .gitignore -# remove trailing empty lines -sed -i -e :a -e '/^\n*$/{$d;N;};/\n$/ba' .gitignore - -# output the list of files to ignore -echo "" >> .gitignore -echo ${BEGIN_MARKER} >> .gitignore -for f in $@; do - echo "${f}" >> .gitignore -done -echo ${END_MARKER} >> .gitignore |