Always use gawk for get_cols

2017-02-28 19:50:06 -08:00 · 2017-02-28 19:50:06 -08:00 · d6eaf7ca02
commit d6eaf7ca02
parent e9d919ffd6
1 changed files with 1 additions and 1 deletions
--- a/dotfiles/lib/shellenv/functions.sh
+++ b/dotfiles/lib/shellenv/functions.sh
@ -107,7 +107,7 @@ function get_cols() {
        esac
    done
    shift $((OPTIND-1))
-    awk -f "$HOME/.lib/get_cols.awk" -v "cols=$*" -v "FS=$FS"
+    gawk -f "$HOME/.lib/get_cols.awk" -v "cols=$*" -v "FS=$FS"
 }

 function filter_by_column_value {