Archives
Archives
| From: | "José Fonseca" <j_r_fonseca@××××××××.uk> |
|---|---|
| To: | gentoo-dev@g.o |
| Subject: | [gentoo-dev] Home & End keys don't work on gnome-terminal |
| Date: | Mon, 13 May 2002 19:07:09 |
| Message-Id: | 20020513210026.A31355@localhost |
| 1 | The "Home" and "End" keys didn't work properly on gnome-terminal. |
| 2 | |
| 3 | I don't know if this is related to some other setting specific of my |
| 4 | system. Has someone ever complained about this? (Goggle |
| 5 | site:lists.gentoo.org didn't found any report.) |
| 6 | |
| 7 | If this happens always then perhaps you may wish to review the default |
| 8 | /etc/inputrc. It was necessary to comment the lines 61-62: |
| 9 | |
| 10 | #"\e[1~": history-search-backward |
| 11 | #"\e[4~": set-mark |
| 12 | |
| 13 | José Fonseca |