On 12/21/2016 09:34 AM, Peter Blaha wrote: > The strange symbols should not matter, but if you don't like them, > either fix your Linux, or modify init_lapw setting bold and normal > > set bold= > set normal=
FWIW, you can detect whether STDIN is a terminal using `tty':
$ tty # returns 0
/dev/pts/6
$ tty </dev/null # returns 1
not a tty
But there is a complication: what we really want to know is whether
STDOUT is a terminal, not STDIN. In bash you would do `tty <&1' to test
that, but csh cannot do this, as far as I can tell. You can use
/dev/stdout, but I think that is somewhat less portable. That would
leave us with:
tty -s < /dev/stdout
if ( $status == 0 ) then
set bold=`tput bold`
set normal=`tput sgr0`
else
set bold=
set normal=
endif
(I am also not aware of a csh equivalent to `if COMMAND; then' without
resorting to $status.)
Elias
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Wien mailing list Wien@zeus.theochem.tuwien.ac.at http://zeus.theochem.tuwien.ac.at/mailman/listinfo/wien SEARCH the MAILING-LIST at: http://www.mail-archive.com/wien@zeus.theochem.tuwien.ac.at/index.html
