>>> If you want to use a ksh derivative, you are probably better >>> switching to mksh, which is actively mantained. >>> IOW, /etc/profile no longer supports pdksh. If you want to keep >>> using it, you'll need to explicitely add support for it (as you've >>> done already). >>Agreed, however, the point about properly escaping the PS1 fields >>still holds for mksh. I hadn't noticed because I have my own custom >>.mshrc that sets PS1. >WJFFM with the PS1 setting included in 4.0-6 for mksh.
Just tried and for mksh it IS ok with \033. Must just be pdksh which has the problem. That said, mksh works with ^[ too. >> Don't really mind. Just felt that whilst people could still install >> pdksh it should work for that too. >> Then when pdksh gets pulled off the install list properly, it could go >> from profile file then (it's only a case tweak in the mean time anyway). >Maybe it should be considered to drop pdksh from the distro, being mksh a >mantained replacement and pdksh orphaned and upstream unmantained. We'd need mksh to network shares for homes first though. My home is: //<servername>/gbravery and it really doesn't like it. Gavin
