On 3 Jun 2000, Oleg Goldshmidt wrote:
> Moshe Zadka <[EMAIL PROTECTED]> writes:
>
> > I thought I'd post the topics I'm going to talk about tommorow, and see
> > what everybody think:
> >
> > * basic redirection: ls > results, less < HOWTO
>
> Nitpicking: the last one doesn't look a particularly good example
> in view of "less HOWTO".
Hmmmmmm.....you're right, but it's a good introduction to pipe
redirections.
> More substantive: don't forget 2>errors, 2>&1, or even 2>/dev/null,
> consider "diff <(prog1) <(prog2)".
Yes I will...I'm afraid to overloading them...
> E.g. [this brings up a notion of shell functions]
Well, once they get ot shell functions, they might as well use Python.
> Not a flame, and with all the respect due to python and your
> love for it: skip it. Stick to the shell which is what is of immediate
> importance, and is at least a bit familiar from the basic system
> navigation. You won't be able to scratch the surface in the time
> alotted, and it's a whole new language, easy as it might be to learn.
> You already have bash, awk and sed. Just too much, IMHO. You have more
> than enough for 2*45 min.
The thing is, I want them to *know* *about* a language that scales better.
No, I won't be able to do more then scratch the surface of anything -- and
I don't intend to. What I want the average newbie to take out of this
lecture is not "heh, now I know how to use grep and sed well", but "wow,
UNIX has all those neat programs, and I know more or less what each is
used for, and I know where to go for more specific help".
So: I want them to know: grep is used for searching things in file, sed is
used for batch editing, awk is used for field manipulations, pipes are
useful for creating complex operations out of simple ones, and when they
stop scaling, Python is an easy solution. What's more, when next they'll
type "man grep", they will understand it better, because it will ring a
bell.
Thanks a lot for the examples.
--
Moshe Zadka <[EMAIL PROTECTED]>
http://www.oreilly.com/news/prescod_0300.html
http://www.linux.org.il -- we put the penguin in .com
=================================================================
To unsubscribe, send mail to [EMAIL PROTECTED] with
the word "unsubscribe" in the message body, e.g., run the command
echo unsubscribe | mail [EMAIL PROTECTED]
