Closed docwhat closed 10 years ago
I'm no awk expert, but I think that awk '$1=$1' does nothing, unless I'm wrong... (yay! A tautology) :grin:
awk '$1=$1'
Not worth doing at this point... It's harmless anyway.
I'm no awk expert, but I think that
awk '$1=$1'
does nothing, unless I'm wrong... (yay! A tautology) :grin: