Hoi Martijn, > they are prefixed with 'command', which should stop that exit from > happening.
Almost certainly a bug (from what I remember without needing to look it up), indeed. > Test cases: Thanks! Putting this on my TODO. bye, //mirabilos -- “ah that reminds me, thanks for the stellar entertainment that you and certain other people provide on the Debian mailing lists │ sole reason I subscribed to them (I'm not using Debian anywhere) is the entertainment factor │ Debian does not strike me as a place for good humour, much less German admin-style humour”