Subject: Anyone tried using the tcsh on Sergey's page?
From: [email-masked] (John Kubiatowicz)

25 Jan 1998 15:35:17 -0800
Message-ID: <[email-masked]>
Reply-To: [email-masked]
To: [email-masked]

It seems to lose the "//" leader on pathnames when using push/pop
combinations (not surprising if the path code wasn't altered to keep
them).

I also seem to get random exits of the shell on occassion when I "cd"...

Why doesn't the hashing mechanism work (what is the requirement for
unhash?)

Just curious,
--KUBI--

-
For help on using this list (especially unsubscribing), send a message to
"[email-masked]" with one line of text: "help".