# HG changeset patch # User HackBot # Date 1462398122 0 # Node ID de0c23a5db2103d9ce3cc4749f0f72fa0269a241 # Parent 6abca43f97a001c2c4b4686b31349a986d8c4524 ` echo -e \'#! /bin/bash\\ncmd="$1"\\nshift\\nf="$*"\\nif [[ -z "$f" && "$cmd" == *\\\\ * ]]; then f="${cmd#* }"; cmd="${cmd%% *}"; fi\\nif [[ -z "$f" ]]; then echo try: \\\\`f command filename; elif [[ -e "$f" ]]; then "$cmd" "$(< "$f")"; else echo no such file: "$f"; fi\' > bin/f diff -r 6abca43f97a0 -r de0c23a5db21 bin/f --- a/bin/f Wed May 04 21:39:37 2016 +0000 +++ b/bin/f Wed May 04 21:42:02 2016 +0000 @@ -3,4 +3,4 @@ shift f="$*" if [[ -z "$f" && "$cmd" == *\ * ]]; then f="${cmd#* }"; cmd="${cmd%% *}"; fi -if [[ -z "$f" ]]; then echo try: \`f command filename; elif [[ \! -e "$f" ]]; then echo no such file: "$f"; else "$cmd" "$(< "$f")"; fi +if [[ -z "$f" ]]; then echo try: \`f command filename; elif [[ -e "$f" ]]; then "$cmd" "$(< "$f")"; else echo no such file: "$f"; fi