Le 3 novembre 2011 08:29:42, Hendrik Sattler a écrit : > Hi, > > I also don't think that Konsole should be patched. Instead clarify in > the policy what a "command" actually is. Saying "everything that works > with xterm" is too broad (and too broken). > > Let's look at the one from the KDE bug report: > konsole -e "cd src && make" > > This is not a command, it's a line to be interpreted e.g. by a shell. > That's not the same but often confused: "cd" is a command and "make" is > another but the above is not.
The term "command" is ambiguous and does not necessarily mean a command name. The above is a shell command in the POSIX sense. > The suggestion in the KDE bug report is > indeed the solution: > konsole -e /bin/sh -c "cd src && make" > > as that fits any definition of command (/bin/sh) and arguments (the > other arguments) and fully complies to policy. > How is konsole supposed to see that this is to be interpreted by > /bin/sh and not by python or perl? Just because xterm does something > funky and blindly assumes a standard shell? That contradicts policy > 11.8.3 _directly_: > "[...]runs the specified command, interpreting the entirety of the rest > of the command line as a command to pass straight to exec[...]" > > xterm obviously does NOT do this! Hum, good point. I reported this as #648271, thanks. > And policy is not everything. Having a consistent behaviour of konsole > on Debian and non-Debian system is far more important. I agree it would be ideal to have compatibility with vanilla upstream. One way I see to achieve that would be to introduce new options in konsole. For example, add an --execute-compat option that behaves like -e. Then, perhaps a new command, say konsole-xterm-compat, could be added as a wrapper around konsole which would map calls to konsole-xterm-compat -e to konsole --execute-compat. -- To UNSUBSCRIBE, email to debian-qt-kde-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/201111100133.55212.chea...@gmail.com
