diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2016-08-21 23:02:35 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2016-08-21 23:02:35 +1200 |
commit | cc7a77804b12d86251e71303d1887b48c43f13b2 (patch) | |
tree | bf3747118cc0b96e78b2a615aea70bb71c54fc20 /sh/profile.d/ed.sh | |
parent | Distill/fix keychain handling a bit (diff) | |
download | dotfiles-cc7a77804b12d86251e71303d1887b48c43f13b2.tar.gz dotfiles-cc7a77804b12d86251e71303d1887b48c43f13b2.zip |
Consolidate ed,bc,grep,ls.sh into one function
Diffstat (limited to 'sh/profile.d/ed.sh')
-rw-r--r-- | sh/profile.d/ed.sh | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/sh/profile.d/ed.sh b/sh/profile.d/ed.sh deleted file mode 100644 index abbd75c5..00000000 --- a/sh/profile.d/ed.sh +++ /dev/null @@ -1,22 +0,0 @@ -# Test that we have metadata about what options this system's ed(1) supports, -# and try to create it if not -( - # Create a directory to hold metadata about ed - ecd=$HOME/.cache/ed - if ! [ -d "$ecd" ] ; then - mkdir -p -- "$ecd" || exit - fi - - # Write ed(1)'s --help output to a file, even if it's empty - if ! [ -f "$ecd"/help ] ; then - ed --help </dev/null >"$ecd"/help 2>/dev/null || exit - - # Iterate through some useful options and create files to show they're - # available - set -- verbose - for opt ; do - grep -q -- --"$opt" "$ecd"/help || continue - touch -- "$ecd"/"$opt" || exit - done - fi -) |