diff options
| author | EuAndreh <eu@euandre.org> | 2025-08-25 21:10:18 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2025-08-25 21:10:18 -0300 |
| commit | a9cb2991ad2b64aee0cf8b434518a29332bd9fe0 (patch) | |
| tree | eec997f41f184251e05f1dc7bff4d990641e1305 | |
| parent | src/instool: Remove unused mkdirs() function (diff) | |
| download | eut-main.tar.gz eut-main.tar.xz | |
| -rwxr-xr-x | src/instool | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/src/instool b/src/instool index 8f72a0b..961b43e 100755 --- a/src/instool +++ b/src/instool @@ -20,7 +20,7 @@ shift case "$TYPE" in - (man|mo) + (man|mo|src) ;; (*) echo "Bad type: $TYPE" >&2 @@ -74,6 +74,20 @@ type_man() { fi } +type_src() { + f="$1" + target="$( + printf '%s\n' "$f" | + sed 's|^src/||' | + printf '%s/%s\n' "$DIRECTORY" "$(cat)" + )" + dir="$(dirname -- "$target")" + if [ ! -e "$dir" ]; then + mkdir -p -- "$dir" + fi + cp -P -- "$f" "$target" +} + type_mo() { f="$1" lang="$(basename -- "$f" .mo)" |