Re: coloring ~N by way of external file query?

2002-02-01 Thread Carl B. Constantine
* Brian Clark ([EMAIL PROTECTED]) wrote: * Brian Clark ([EMAIL PROTECTED]) [Feb 01. 2002 00:33]: $ cat dynacolor.sh #!/bin/sh awk '{printf(color index yellow default \~f %s ~N\\n, $1);}' addrs.txt By the way, if anyone else wants to do this and the lines in addrs.txt have spaces,

Re: coloring ~N by way of external file query?

2002-01-31 Thread Cameron Simpson
On 23:54 31 Jan 2002, Brian Clark [EMAIL PROTECTED] wrote: | What I'm asking is, is there a way to query an external file full of | addresses in order to determine if the message should be a certain color | in the index? | | IOW, I'm trying to replace these (a lot more than 3): | | color index

Re: coloring ~N by way of external file query?

2002-01-31 Thread Brian Clark
* Cameron Simpson ([EMAIL PROTECTED]) [Feb 01. 2002 00:04]: On 23:54 31 Jan 2002, Brian Clark [EMAIL PROTECTED] wrote: | IOW, I'm trying to replace these (a lot more than 3): | | color index yellow default ~f feefee ~N | color index yellow default ~f geegee ~N | color index yellow

Re: coloring ~N by way of external file query?

2002-01-31 Thread David Champion
On 2002.01.31, in 20020201045411.GB18136@ganymede, Brian Clark [EMAIL PROTECTED] wrote: IOW, I'm trying to replace these (a lot more than 3): color index yellow default ~f feefee ~N color index yellow default ~f geegee ~N color index yellow default ~f heehee ~N With one line

Re: coloring ~N by way of external file query?

2002-01-31 Thread Brian Clark
* David Champion ([EMAIL PROTECTED]) [Feb 01. 2002 00:20]: [...] With one line that gets the list from a file (via grep?). How about: $ cat addrs.txt feefee geegee heehee $ cat dynacolor.sh #!/bin/sh awk '{printf(color index yellow default \~f %s ~N\\n, $1);}' addrs.txt $ tail -1

Re: coloring ~N by way of external file query?

2002-01-31 Thread Brian Clark
* Brian Clark ([EMAIL PROTECTED]) [Feb 01. 2002 00:33]: $ cat dynacolor.sh #!/bin/sh awk '{printf(color index yellow default \~f %s ~N\\n, $1);}' addrs.txt By the way, if anyone else wants to do this and the lines in addrs.txt have spaces, use $0 rather than $1. awk '{printf(color index