From b09e69a44446ab4f599c04ed9372c1b8b3174615 Mon Sep 17 00:00:00 2001 From: Johannes Schlatow Date: Fri, 21 May 2021 10:03:39 +0200 Subject: [PATCH] ports: change bashrc path genodelabs/genode#4163 --- repos/ports/ports/bash.hash | 2 +- repos/ports/ports/bash.port | 3 ++- repos/ports/src/noux-pkg/bash/bashrc.patch | 11 +++++++++++ 3 files changed, 14 insertions(+), 2 deletions(-) create mode 100644 repos/ports/src/noux-pkg/bash/bashrc.patch diff --git a/repos/ports/ports/bash.hash b/repos/ports/ports/bash.hash index 410b1738ad..270dddcf6e 100644 --- a/repos/ports/ports/bash.hash +++ b/repos/ports/ports/bash.hash @@ -1 +1 @@ -c54af4376c78eb9e3d1463bd015ca4cd75770954 +8632284828251187dc52a359cfa15755c191a559 diff --git a/repos/ports/ports/bash.port b/repos/ports/ports/bash.port index 18bc7cae3f..269b5ab199 100644 --- a/repos/ports/ports/bash.port +++ b/repos/ports/ports/bash.port @@ -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 diff --git a/repos/ports/src/noux-pkg/bash/bashrc.patch b/repos/ports/src/noux-pkg/bash/bashrc.patch new file mode 100644 index 0000000000..786ab2337c --- /dev/null +++ b/repos/ports/src/noux-pkg/bash/bashrc.patch @@ -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" */