zsh-workers
 help / color / mirror / code / Atom feed
* SUMMARY: read with timeout?
@ 1995-11-13 13:15 Sverre Slotte
  0 siblings, 0 replies; 2+ messages in thread
From: Sverre Slotte @ 1995-11-13 13:15 UTC (permalink / raw)
  To: zsh-workers

Last week I asked:

    Is there a way to give the read-command (in zsh) a timeout-value?

I got two answers. Vinnie Shelton <shelton@icd.teradyne.com> suggested
I use expect, and Karl Vogel <vogelke@c17mis.wpafb.af.mil> recommended
grabchars (from comp.sources.misc volume 12).

Both of these will obviously work with any shell.

Expect seemed like overkill, so I had a closer look at grabchars. It
does exactly what I want. In fact, it does things I didn't even know I
wanted:

    grabchars -ccfmos -df -t10 -L
               ^       ^   ^    ^
               |       |   |    |
               |       |   |    +---- fold to lower case
               |       |   +--------- timeout 10 seconds
               |       +------------- default value `f'
               +--------------------- valid characters

The binary is small and compact, 24576 bytes on SunOS (dyn.linked).

This version of grabchars is rather old: 1.9. (Copyright (c) 1988,
1989, 1990, Dan Smith). Does anyone know of a newer version?

Thanks for your help,

Sverre

----------------------------------------------------------------------------
Sverre Slotte                            Internet: sverre@research.nokia.com
Nokia Research Center                    Phone:             + 358 0 43766208
P.O.Box 45, 00211 Helsingfors, Finland   Phax:              + 358 0 43766856
----------------------------------------------------------------------------
"Kajakken er uten sammenligning den ypperste enkeltmannsfarkost som finnes."
                                                      -- Fritjof Nansen 1891


^ permalink raw reply	[flat|nested] 2+ messages in thread

* SUMMARY: read with timeout?
@ 1995-11-13 13:10 Sverre Slotte
  0 siblings, 0 replies; 2+ messages in thread
From: Sverre Slotte @ 1995-11-13 13:10 UTC (permalink / raw)
  To: zsh-workers

Last week I asked:

    Is there a way to give the read-command (in zsh) a timeout-value?

I got two answers. Vinnie Shelton <shelton@icd.teradyne.com> suggested
I use expect, and Karl Vogel <vogelke@c17mis.wpafb.af.mil> recommended
grabchars (from comp.sources.misc volume 12).

Both of these will obviously work with any shell.

Expect seemed like overkill, so I had a closer look at grabchars. It
does exactly what I want. In fact, it does things I didn't even know I
wanted:

    grabchars -ccfmos -df -t10 -L
               ^       ^   ^    ^
               |       |   |    |
               |       |   |    +---- fold to lower case
               |       |   +--------- timeout 10 seconds
               |       +------------- default value `f'
               +--------------------- valid characters

The binary is small and compact, 24576 bytes on SunOS (dyn.linked).

This version of grabchars is rather old: 1.9. (Copyright (c) 1988,
1989, 1990, Dan Smith). Does anyone know of a newer version?

Thanks for your help,

Sverre

----------------------------------------------------------------------------
Sverre Slotte                            Internet: sverre@research.nokia.com
Nokia Research Center                    Phone:             + 358 0 43766208
P.O.Box 45, 00211 Helsingfors, Finland   Phax:              + 358 0 43766856
----------------------------------------------------------------------------
"Kajakken er uten sammenligning den ypperste enkeltmannsfarkost som finnes."
                                                      -- Fritjof Nansen 1891


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~1995-11-13 13:27 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1995-11-13 13:15 SUMMARY: read with timeout? Sverre Slotte
  -- strict thread matches above, loose matches on Subject: below --
1995-11-13 13:10 Sverre Slotte

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).