diff options
author | 2019-12-15 22:27:00 -0800 | |
---|---|---|
committer | 2019-12-15 22:27:00 -0800 | |
commit | 8c79c1ef47f34050904766c7e1238da8bec768a5 (patch) | |
tree | bc83741003318dfd9cbd6c136bb7d4a4583d0db4 | |
parent | local/update*: ensure correct handling for add/del branch/tags (diff) | |
download | githooks-8c79c1ef47f34050904766c7e1238da8bec768a5.tar.gz githooks-8c79c1ef47f34050904766c7e1238da8bec768a5.tar.bz2 githooks-8c79c1ef47f34050904766c7e1238da8bec768a5.zip |
label-files: make it easier to label files with repo
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
-rw-r--r-- | label-files.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/label-files.sh b/label-files.sh new file mode 100644 index 0000000..5eced78 --- /dev/null +++ b/label-files.sh @@ -0,0 +1,2 @@ +#!/bin/bash +for f in $(git grep -L -e '# gentoo-infra:') ; do p=$( git ls-files --full-name $f) ; s="# gentoo-infra: infra/githooks.git:${f}" ; sed -i "2i${s}" $f ; done ; |