From d6eaf7ca022ec1a6980c29359229bbe11af7b23b Mon Sep 17 00:00:00 2001
From: Ivan Malison <IvanMalison@gmail.com>
Date: Tue, 28 Feb 2017 19:50:06 -0800
Subject: [PATCH] Always use gawk for get_cols

---
 dotfiles/lib/shellenv/functions.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dotfiles/lib/shellenv/functions.sh b/dotfiles/lib/shellenv/functions.sh
index 08723e80..35156e9d 100644
--- 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 {