make calls 'time' program bug
Fri Sep 11 00:15:00 GMT 1998
>The system cannot accept the time entered.
>Enter the new time:
>I would assume that the time command being run is the windows-nt version,
>which tries to modify the system time, which isn't the unix-like time
>When I run the command line from bash, it times the command my_program.
>How do I fix this behavior?
Because "time" and "date" are commands, which are builtin into cmd.exe,
the only thing you can do is to redefine them with doskey.
I have a small batch, which contains the following commands:
doskey setdate=%CYGWIN%\date $*
doskey date=%CYGWIN%\date "+%%A, %%d.%%m.%%Y"
doskey time=%CYGWIN%\date "+%%H.%%M:%%S Uhr"
doskey dtype=type $*
doskey type=sh -c "type $*"
This changes the behaviour of the three builtin commands date, time and
type. Of course, for your purpose, it would be sufficient to just use
doskey dtime=time !
> Thanks in advance,
> Jeff Deifik
Michael Hirmke | Telefon +49 (911) 557999
Georg-Strobel-Strasse 81 | FAX +49 (911) 557664
90489 Nuernberg | E-Mail mailto:email@example.com
| WWW http://aquarius.franken.de/
For help on using this list (especially unsubscribing), send a message to
"firstname.lastname@example.org" with one line of text: "help".
More information about the Cygwin