David Seikel, il 09/07/2012 15:10, ha scritto: > If you are on Ubuntu, you might find that it's actually dash pretending > to be bash, depending on what version of Ubuntu and what alternatives > you have chosen.
I have /bin/bash set as the user's shell, /etc/passwd does confirm that. also, the environment variable $SHELL is set to /bin/bash, so I think I'm actually in a bash session. just tried even to execute bash from the command line, and home and end keys are still not working. just for the record, tried also to run dash and keys are always not working, but what I get is a bit different: "^[[7~" for home and "^[[8~" for end :) > On Ubuntu 10.04, running an actual GNU bash (4.1.5), and mc (4.7.0), > home and end works fine for me. this is ubuntu 12.04. -- Massimo Maiurana massimo<at>ragusa.linux.it http://massimo.solira.org GPG keyID #7044D601 La fede e' credere in cio' che sai non essere vero [Mark Twain]
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________ enlightenment-devel mailing list enlightenment-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/enlightenment-devel
