diff options
author | pryazha <pryadeiniv@mail.ru> | 2025-02-03 07:58:03 +0500 |
---|---|---|
committer | pryazha <pryadeiniv@mail.ru> | 2025-02-03 07:58:03 +0500 |
commit | 86fa5c522cf3eb86246c2540749c875098f55bda (patch) | |
tree | 03cb4ee6c0d4ae6568d3b67bfc7e6470134ad0cb /scripts/git-ignore-elf | |
parent | 4b389613fdf367dbdbf6c7984bacdca3914668c2 (diff) |
.gitignore script and some vim config changes
Diffstat (limited to 'scripts/git-ignore-elf')
-rwxr-xr-x | scripts/git-ignore-elf | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/git-ignore-elf b/scripts/git-ignore-elf new file mode 100755 index 0000000..77cfac7 --- /dev/null +++ b/scripts/git-ignore-elf @@ -0,0 +1,14 @@ +#!/bin/sh +set -eu +cd "$(git rev-parse --show-toplevel)" +file=.gitignore +new=$file.new.$$ +( + if [ -e "$file" ]; then + cat "$file" + fi + find . -name .git -prune -o -type f ! -name '*.o' ! -name '*.so' \ + -print0 | xargs -0 file | grep ': *ELF ' | sed 's/:.*//' | + sed 's,^./,,' + ) | perl -ne 'print if !$already{$_}++' >"$new" +mv "$new" "$file" |