diff options
author | Mattias Andrée <maandree@kth.se> | 2024-02-18 13:22:42 +0100 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2024-02-18 13:22:42 +0100 |
commit | c274475635d410c0e9f812e71d20183cb923cd6b (patch) | |
tree | 70f59c3b28a36921ea46a93effc565d59e20f43b /cat-nonbackups | |
parent | Add makeenv (diff) | |
download | dotfiles-c274475635d410c0e9f812e71d20183cb923cd6b.tar.gz dotfiles-c274475635d410c0e9f812e71d20183cb923cd6b.tar.bz2 dotfiles-c274475635d410c0e9f812e71d20183cb923cd6b.tar.xz |
misc updates
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to 'cat-nonbackups')
-rwxr-xr-x | cat-nonbackups | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cat-nonbackups b/cat-nonbackups index 387cf7a..2031eab 100755 --- a/cat-nonbackups +++ b/cat-nonbackups @@ -8,6 +8,9 @@ good_filename () { test -n "$(printf '%s\n' "$1" | grep -v '^\.#' || :)" || return 1 test -n "$(printf '%s\n' "$1" | grep -v '^#' || :)" || return 1 } +if test "$1" = "--"; then + shift 1 +fi for file; do if good_filename "$file" >/dev/null 2>/dev/null; then cat -- "$file" |