mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 14:37:50 +00:00
parent
758c0a21cc
commit
b09e69a444
@ -1 +1 @@
|
||||
c54af4376c78eb9e3d1463bd015ca4cd75770954
|
||||
8632284828251187dc52a359cfa15755c191a559
|
||||
|
@ -11,5 +11,6 @@ DIR(bash) := src/noux-pkg/bash
|
||||
PATCHES := src/noux-pkg/bash/build.patch \
|
||||
src/noux-pkg/bash/check_dev_tty.patch \
|
||||
src/noux-pkg/bash/disable_man2html.patch \
|
||||
src/noux-pkg/bash/home_end_delete.patch
|
||||
src/noux-pkg/bash/home_end_delete.patch \
|
||||
src/noux-pkg/bash/bashrc.patch
|
||||
PATCH_OPT := -p1 -d src/noux-pkg/bash
|
||||
|
11
repos/ports/src/noux-pkg/bash/bashrc.patch
Normal file
11
repos/ports/src/noux-pkg/bash/bashrc.patch
Normal file
@ -0,0 +1,11 @@
|
||||
--- a/config-top.h
|
||||
+++ b/config-top.h
|
||||
@@ -84,7 +84,7 @@
|
||||
#define KSH_COMPATIBLE_SELECT
|
||||
|
||||
/* Default interactive shell startup file. */
|
||||
-#define DEFAULT_BASHRC "~/.bashrc"
|
||||
+#define DEFAULT_BASHRC "/share/bash/bashrc"
|
||||
|
||||
/* System-wide .bashrc file for interactive shells. */
|
||||
/* #define SYS_BASHRC "/etc/bash.bashrc" */
|
Loading…
Reference in New Issue
Block a user