# HG changeset patch # User HackBot # Date 1462397861 0 # Node ID a48fbda8ca03fdf1473ff5bbbf07bb6f6abb1649 # Parent e11bd6b4a87eff02368c3ad48234821ee97c46cb ` 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; else "$cmd" "$(< "$f")"; fi\' > bin/f diff -r e11bd6b4a87e -r a48fbda8ca03 bin/f --- a/bin/f Wed May 04 21:37:20 2016 +0000 +++ b/bin/f Wed May 04 21:37:41 2016 +0000 @@ -2,5 +2,5 @@ cmd="$1" shift f="$*" -if [[ -z "$f" && "$cmd" =~ *\ * ]]; then f="${cmd#* }"; cmd="${cmd%% *}"; fi +if [[ -z "$f" && "$cmd" == *\ * ]]; then f="${cmd#* }"; cmd="${cmd%% *}"; fi if [[ -z "$f" ]]; then echo try: \`f command filename; else "$cmd" "$(< "$f")"; fi