Add dd, gzip, and gunzip commands

InCommon · Nov 25, 2016 · f7f1825 · f7f1825
1 parent 1707044
commit f7f1825
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/lib/command_paths.sh b/lib/command_paths.sh
@@ -43,6 +43,7 @@ _CMP=/usr/bin/cmp
 _CP=/bin/cp
 _CURL=/usr/bin/curl
 _DATE=/bin/date
+_DD=/bin/dd
 _DIFF=/usr/bin/diff
 _DIRNAME=/usr/bin/dirname
 _ECHO=/bin/echo  # also a bash builtin
@@ -70,6 +71,8 @@ if [[ ${OSTYPE} = darwin* ]] ; then
 	_BASENAME=/usr/bin/basename
 	_CUT=/usr/bin/cut
 	_GREP=/usr/bin/grep
+	_GZIP=/usr/bin/gzip
+	_GUNZIP=/usr/bin/gunzip
 	_MKTEMP=/usr/bin/mktemp
 	_MORE=/usr/bin/more
 	_SED=/usr/bin/sed
@@ -83,6 +86,8 @@ elif [[ ${OSTYPE} = linux* ]] ; then
 	_BASENAME=/bin/basename
 	_CUT=/bin/cut
 	_GREP=/bin/grep
+	_GZIP=/bin/gzip
+	_GUNZIP=/bin/gunzip
 	_MKTEMP=/bin/mktemp
 	_MORE=/bin/more
 	_SED=/bin/sed