Re: /dev/tty does not work from shell

2015-02-12 Thread Achim Gratz
Helmut Karlowski ish.de> writes: > That was it. All fine now, next I'll write me a cygwin-snapshot-install :-\ Or package it and install via setup.exe. ---Makefile--- .PHONY: both all install clean force-clean clean-install clean-source snapshot source install-snapshot snapshot-debuginfo install

Re: /dev/tty does not work from shell

2015-02-11 Thread Helmut Karlowski
Am 11.02.2015, 10:55 Uhr, schrieb Helmut Karlowski: Nope, WFFM. Do you have another cygwin1.dll in C:\cygwin\usr\src\ksh\pdksh or somewhere in the path, by any chance? There's one in /tmp (a copy of the release-version). Maybe that is it. I'll try again tonight. That was it. All fine now, n

Re: /dev/tty does not work from shell

2015-02-11 Thread Helmut Karlowski
Corinna Vinschen : Wed, 11 Feb 2015 11:39:35 +0100 --- > > Nothing helpful in there, unfortunately. > > > You could do this: > > > > cd > > cp /bin/bash . > > ./bash > > ls > > > > Maybe this already triggers it. > > Nope, WFFM. Do you have ano

Re: /dev/tty does not work from shell

2015-02-11 Thread Corinna Vinschen
On Feb 11 11:05, Helmut Karlowski wrote: > Corinna Vinschen : > Wed, 11 Feb 2015 10:48:54 +0100 > --- > > On Feb 11 09:49, Helmut Karlowski wrote: > > > Corinna Vinschen : > > > Wed, 11 Feb 2015 09:40:42 +0100 > > > ---

Re: /dev/tty does not work from shell

2015-02-11 Thread Helmut Karlowski
Corinna Vinschen : Wed, 11 Feb 2015 10:48:54 +0100 --- > On Feb 11 09:49, Helmut Karlowski wrote: > > Corinna Vinschen : > > Wed, 11 Feb 2015 09:40:42 +0100 > > --- > > > On Feb 10 23:30, Helmut Karlowsk

Re: /dev/tty does not work from shell

2015-02-11 Thread Corinna Vinschen
On Feb 11 09:49, Helmut Karlowski wrote: > Corinna Vinschen : > Wed, 11 Feb 2015 09:40:42 +0100 > --- > > On Feb 10 23:30, Helmut Karlowski wrote: > > > Am 10.02.2015, 21:43 Uhr, schrieb Helmut Karlowski: > > > > > > >Am 10.02.2015, 21:33 Uhr, schrie

Re: /dev/tty does not work from shell

2015-02-11 Thread Thomas Wolff
On 10.02.2015 22:06, Corinna Vinschen wrote: Please, https://cygwin.com/acronyms/#PCYMTNQREAIYR ... I applied a patch to Cygwin. Please give the latest snapshots a try: https://cygwin.com/snapshots/ Works fine, thank you. -- Thomas -- Problem reports: http://cygwin.com/problems.ht

Re: /dev/tty does not work from shell

2015-02-11 Thread Helmut Karlowski
Corinna Vinschen : Wed, 11 Feb 2015 09:40:42 +0100 --- > On Feb 10 23:30, Helmut Karlowski wrote: > > Am 10.02.2015, 21:43 Uhr, schrieb Helmut Karlowski: > > > > >Am 10.02.2015, 21:33 Uhr, schrieb Helmut Karlowski: > > > > > >>Works. The inodes from

Re: /dev/tty does not work from shell

2015-02-11 Thread Helmut Karlowski
Corinna Vinschen : Wed, 11 Feb 2015 09:41:17 +0100 --- > On Feb 10 21:43, Helmut Karlowski wrote: > > Am 10.02.2015, 21:33 Uhr, schrieb Helmut Karlowski: > > > > >Works. The inodes from stat still differ, all seems right (to me). > > What inodes fro

Re: /dev/tty does not work from shell

2015-02-11 Thread Corinna Vinschen
On Feb 10 21:43, Helmut Karlowski wrote: > Am 10.02.2015, 21:33 Uhr, schrieb Helmut Karlowski: > > >Works. The inodes from stat still differ, all seems right (to me). What inodes from what stat call differ?!? > With the redirection they are the same of course: > > stat -c %i /dev/tty - 327680

Re: /dev/tty does not work from shell

2015-02-11 Thread Corinna Vinschen
On Feb 10 23:30, Helmut Karlowski wrote: > Am 10.02.2015, 21:43 Uhr, schrieb Helmut Karlowski: > > >Am 10.02.2015, 21:33 Uhr, schrieb Helmut Karlowski: > > > >>Works. The inodes from stat still differ, all seems right (to me). > > Unfortunately I get with the snapshot reproducibly: > > 125018 [

Re: /dev/tty does not work from shell

2015-02-10 Thread Helmut Karlowski
Am 10.02.2015, 21:43 Uhr, schrieb Helmut Karlowski: Am 10.02.2015, 21:33 Uhr, schrieb Helmut Karlowski: Works. The inodes from stat still differ, all seems right (to me). Unfortunately I get with the snapshot reproducibly: 125018 [main] dksh 2348 fork: child -1 - forked process 548 died

Re: /dev/tty does not work from shell

2015-02-10 Thread Helmut Karlowski
Am 10.02.2015, 21:33 Uhr, schrieb Helmut Karlowski: Works. The inodes from stat still differ, all seems right (to me). With the redirection they are the same of course: stat -c %i /dev/tty - http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: h

Re: /dev/tty does not work from shell

2015-02-10 Thread Helmut Karlowski
Am 10.02.2015, 21:06 Uhr, schrieb Corinna Vinschen: If it's legal to look up the inode of a device, then both OS should be fixed I think. I applied a patch to Cygwin. Please give the latest snapshots a try: https://cygwin.com/snapshots/ 1030/home/hk#obash /home/hk/.bashrc /home/hk#set -o no

Re: /dev/tty does not work from shell

2015-02-10 Thread Corinna Vinschen
Please, https://cygwin.com/acronyms/#PCYMTNQREAIYR On Feb 10 19:31, Helmut Karlowski wrote: > Helmut Karlowski <...> wrote: > > Eric Blake <...> wrote: > > > On 02/10/2015 09:46 AM, Helmut Karlowski wrote: > > > >> The same test from the command line: > > > >> > > > >> $ stat -c %i /dev/tty - 0>/

Re: /dev/tty does not work from shell

2015-02-10 Thread Helmut Karlowski
-- Helmut Karlowski wrote: (10/02/2015 19:04) > > -- > Eric Blake wrote: > (10/02/2015 18:34) > > > On 02/10/2015 09:46 AM, Helmut Karlowski wrote: > > >> The same test from the command line: > > >

Re: /dev/tty does not work from shell

2015-02-10 Thread Corinna Vinschen
On Feb 10 10:34, Eric Blake wrote: > On 02/10/2015 09:46 AM, Helmut Karlowski wrote: > >> The same test from the command line: > >> > >> $ stat -c %i /dev/tty - 0>/dev/tty > >> 327680 > >> 8912896 > >> > >> use any other (already-existing) file to see that the two numbers should > >> normally be th

Re: /dev/tty does not work from shell

2015-02-10 Thread Helmut Karlowski
-- Eric Blake wrote: (10/02/2015 18:34) > On 02/10/2015 09:46 AM, Helmut Karlowski wrote: > >> The same test from the command line: > >> > >> $ stat -c %i /dev/tty - 0>/dev/tty > >> 327680 > >> 8912896 > >> > >> use any other (already-existing) fil

Re: /dev/tty does not work from shell

2015-02-10 Thread Eric Blake
On 02/10/2015 09:51 AM, Helmut Karlowski wrote: > > -- >> use any other (already-existing) file to see that the two numbers should >> normally be the same. > > Also: isn't it nonsense to interpret the inode of somthing like > /dev/tty? No. inodes

Re: /dev/tty does not work from shell

2015-02-10 Thread Eric Blake
On 02/10/2015 09:46 AM, Helmut Karlowski wrote: >> The same test from the command line: >> >> $ stat -c %i /dev/tty - 0>/dev/tty >> 327680 >> 8912896 >> >> use any other (already-existing) file to see that the two numbers should >> normally be the same. > > Don't know why, but cygwin is not the on

Re: /dev/tty does not work from shell

2015-02-10 Thread Achim Gratz
Eric Blake writes: > The same test from the command line: > > $ stat -c %i /dev/tty - 0>/dev/tty > 327680 > 8912896 > > use any other (already-existing) file to see that the two numbers should > normally be the same. Interestingly enough I get exactly the same numbers, both on 32bit and 64bit Cygw

Re: /dev/tty does not work from shell

2015-02-10 Thread Helmut Karlowski
-- > use any other (already-existing) file to see that the two numbers should > normally be the same. Also: isn't it nonsense to interpret the inode of somthing like /dev/tty? -- Problem reports: http://cygwin.com/problems.html FAQ:

Re: /dev/tty does not work from shell

2015-02-10 Thread Helmut Karlowski
-- Eric Blake wrote: (10/02/2015 17:33) > On 02/10/2015 09:28 AM, Eric Blake wrote: > > > > The bug is in cygwin1.dll, not bash. Here's a STC; opening a file > > should NOT change its st_ino number, but that's exactly what cygwin is > > doing to

Re: /dev/tty does not work from shell

2015-02-10 Thread Eric Blake
On 02/10/2015 09:28 AM, Eric Blake wrote: > > The bug is in cygwin1.dll, not bash. Here's a STC; opening a file > should NOT change its st_ino number, but that's exactly what cygwin is > doing to /dev/tty. As such, bash thinks that because the ino changed > between stat() and open() that there i

Re: /dev/tty does not work from shell

2015-02-10 Thread Eric Blake
On 02/09/2015 01:53 PM, Eric Blake wrote: > On 02/09/2015 01:38 PM, Thomas Wolff wrote: > >>> bash prints that message when it has the noclobber-option set. Maybe >>> you check it? >> Yes, indeed, the effect shows up after set -o noclobber; >> however, this shouldn’t apply to device files (and doe

Re: /dev/tty does not work from shell

2015-02-09 Thread Helmut Karlowski
Am 09.02.2015, 21:03 Uhr, schrieb Helmut Karlowski: Right. Looks like a bug (in cygwin). No, in bash, it works with another shell. -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubs

Re: /dev/tty does not work from shell

2015-02-09 Thread Helmut Karlowski
Am 09.02.2015, 20:38 Uhr, schrieb Thomas Wolff: bash prints that message when it has the noclobber-option set. Maybe you check it? Yes, indeed, the effect shows up after set -o noclobber; however, this shouldn’t apply to device files (and doesn’t on other systems) - man bash: “redirection wi

Re: /dev/tty does not work from shell

2015-02-09 Thread Eric Blake
On 02/09/2015 01:38 PM, Thomas Wolff wrote: >> bash prints that message when it has the noclobber-option set. Maybe >> you check it? > Yes, indeed, the effect shows up after set -o noclobber; > however, this shouldn’t apply to device files (and doesn’t on other > systems) - > man bash: “redirectio

Re: /dev/tty does not work from shell

2015-02-09 Thread Thomas Wolff
Am 09.02.2015 um 11:36 schrieb Helmut Karlowski: -- Thomas Wolff wrote: (09/02/2015 09:47) Am 09.02.2015 um 05:23 schrieb Andrey Repin: Greetings, Thomas Wolff! echo bla > /dev/tty bash: /dev/tty: cannot overwrite existing file WJFFM Please

Re: /dev/tty does not work from shell

2015-02-09 Thread Helmut Karlowski
-- Thomas Wolff wrote: (09/02/2015 09:47) > > Am 09.02.2015 um 05:23 schrieb Andrey Repin: > > Greetings, Thomas Wolff! > > > >> echo bla > /dev/tty > >> bash: /dev/tty: cannot overwrite existing file > > WJFFM > > > > Please be more specific. > >

Re: /dev/tty does not work from shell

2015-02-09 Thread Thomas Wolff
Am 09.02.2015 um 05:23 schrieb Andrey Repin: Greetings, Thomas Wolff! echo bla > /dev/tty bash: /dev/tty: cannot overwrite existing file WJFFM Please be more specific. I.e. terminal type and any other relevant information would help resolving your issue. (Though, I fail to replicate it with

Re: /dev/tty does not work from shell

2015-02-08 Thread Andrey Repin
Greetings, Thomas Wolff! > echo bla > /dev/tty > bash: /dev/tty: cannot overwrite existing file WJFFM Please be more specific. I.e. terminal type and any other relevant information would help resolving your issue. (Though, I fail to replicate it with both mintty and native terminal.) -- WBR,

Re: /dev/tty does not work from shell

2015-02-08 Thread Helmut Karlowski
Am 08.02.2015, 23:05 Uhr, schrieb Thomas Wolff: echo bla > /dev/tty bash: /dev/tty: cannot overwrite existing file Works for me. -- -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsub

/dev/tty does not work from shell

2015-02-08 Thread Thomas Wolff
echo bla > /dev/tty bash: /dev/tty: cannot overwrite existing file Thomas -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple