Norman Feske 170507a85c bash: support home and end keys ... This commit contains a patch of bash's built-in default escape sequences to match the 'screen' terminal as used by Genode's terminal component. Fixes #2705		2018-07-03 10:44:55 +02:00
..
build.patch	bash: update to version 4.4.18	2018-02-14 20:41:09 +01:00
check_dev_tty.patch	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
disable_man2html.patch	bash: update to version 4.4.18	2018-02-14 20:41:09 +01:00
home_end.patch	bash: support home and end keys	2018-07-03 10:44:55 +02:00
target.inc	ports: src/bash-minimal noux package	2018-02-15 10:22:10 +01:00
target.mk	ports: src/bash-minimal noux package	2018-02-15 10:22:10 +01:00