# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1659877048 -3600
# Node ID 75e0d0013da0b976eda107b8f34ca54feecb2264
# Parent  04464ee31d66ac616a8a1dc4b73ee6d6bfebd7b3
use awk for simple cut

diff -r 04464ee31d66 -r 75e0d0013da0 bin/acut
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/acut	Sun Aug 07 13:57:28 2022 +0100
@@ -0,0 +1,6 @@
+#!/bin/bash
+# Use awk to do cut -d whitespace
+declare ff=("$@")
+join_array() { local IFS=\$; echo "$*"; }
+s=$(join_array "${ff[@]}")
+awk '{print '\$${s/\$/,\$}\}