craig@labs-b.bbn.COM (Craig Partridge) (04/27/87)
Here's a script I use to fix said problem: ----cut-here---- #!/bin/sh echo "[1r" echo "[p"
rbj@icst-cmr.arpa (Root Boy Jim) (04/28/87)
? ? Here's a script I use to fix said problem: Which unfortunately contains *real* escape characters. Bad form. You should post it like this: ? ----cut-here---- ? #!/bin/sh ? :Replace Dollar signs by Escapes ? echo "$[1r" ? echo "$[p" Around here we have people who use the console with $term set to vt100. I use 'echo "$[s"' to fix it. (Root Boy) Jim "Just Say Yes" Cottrell <rbj@icst-cmr.arpa> Are you selling NYLON OIL WELLS?? If so, we can use TWO DOZEN!!