aboutsummaryrefslogtreecommitdiff
path: root/shell
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2025-12-23 13:12:18 +0100
committerTristan Riehs <tristan.riehs@inria.fr>2025-12-23 13:12:18 +0100
commitff52b3f585cbd664ae3cfd269002e6974697593b (patch)
tree743eadaf278a35c6c7a36ac2c05dc2b16b2587cf /shell
parentf697740f39c641220f2b7a37a8b2c3b154568d48 (diff)
Rewrite add-dir-rec script with OCaml
Diffstat (limited to 'shell')
-rwxr-xr-xshell/ftag-add-dir-rec.sh23
1 files changed, 0 insertions, 23 deletions
diff --git a/shell/ftag-add-dir-rec.sh b/shell/ftag-add-dir-rec.sh
deleted file mode 100755
index c5a1f6b..0000000
--- a/shell/ftag-add-dir-rec.sh
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/bin/sh
-
-if [ $# -eq 0 ]
-then
- echo "Usage: $0 DIR..."
-fi
-
-tmp_file_0="$(mktemp)"
-> "$tmp_file_0"
-for dir in "$@"
-do
- find "$dir" -type f -exec sh -c "printf '%s\t%s\n' \"$(basename {})\" \"{}\" >> \"$tmp_file_0\"" ';'
-done
-
-# cut -f1 < "$tmp_file_0"
-
-for file in $(cut -f1 < "$tmp_file_0" | uniq -u)
-do
- echo "$file"
-done
-
-# uniq -u < "$tmp_file_0" | xargs -d '\\n' ftag file add
-rm "$tmp_file_0"