Posted on November 10, 2015Avoiding unnecessary commands in bash…. Some alternative bash things…. ( avoiding unneecessary use of cat / awk / grep …. ) Continue reading “Avoiding unnecessary commands in bash….”