mksh-mkshrc_support.patch

   1 diff -urp mksh.orig/main.c mksh/main.c
   2 --- mksh.orig/main.c    2016-08-04 20:52:01.000000000 +0000
   3 +++ mksh/main.c 2016-08-18 06:47:50.115554000 +0000
   4 @@ -611,10 +611,14 @@ main_init(int argc, const char *argv[],
   5                 if (Flag(FLOGIN))
   6                         include(substitute("$HOME/.profile", 0), 0, NULL, true);
   7                 if (Flag(FTALKING)) {
   8 -                       cp = substitute(substitute("${ENV:-" MKSHRC_PATH "}",
   9 -                           0), DOTILDE);
  10 +                       cp = substitute(substitute("${ENV}", 0), DOTILDE);
  11                         if (cp[0] != '\0')
  12                                 include(cp, 0, NULL, true);
  13 +                       else {
  14 +                               cp = substitute(MKSHRC_PATH, DOTILDE);
  15 +                               include("/etc/mkshrc", 0, NULL, true);
  16 +                               include(cp, 0, NULL, true);
  17 +                       }
  18                 }
  19         } else {
  20                 include(MKSH_SUID_PROFILE, 0, NULL, true);