Re: [9front] this history(1) is scratched

[Eckard Brauer <eckard.brauer@gmx.de>]

> If I understand the intent correctly, then the simplest fix is to add
> the space character to the regex:
>
> 	; echo 'a b' | awk '{gsub($1" ", ""); print}'
> 	b

currently, I don't have a 9front/plan9 available here to check context,
but knowing awk a bit, i'd remark:

* while sub() replaces a single occurenco of 'a' in each input record,
  gsub replaces every one. If this is intended in that context, it's
  fine.

* you maybe should not add " " to $1, but "[ \t]+", as awk usually
  treats each consecutive sequence of whitespace as a field delimiter,
  except of course you can be sure that only one single space char will
  be there in any case.