| Server IP : 82.208.35.60 / Your IP : 216.73.216.238 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/lang/gnu-apl/files/ |
Upload File : |
--- src/UserPreferences.cc.orig 2019-06-23 12:39:20 UTC
+++ src/UserPreferences.cc
@@ -1299,7 +1299,25 @@ int file_profile = 0; // the current profile in the
}
else if (!strcasecmp(opt, "READLINE_HISTORY_PATH"))
{
- line_history_path = UTF8_string(arg);
+ // If 'arg' starts with "~/", expand ~ -> $HOME
+ if (arg[0] == '~' && arg[1] == '/')
+ {
+ const char * HOME = getenv("HOME");
+ if (HOME == 0)
+ {
+ if (log_startup)
+ CERR << "environment variable 'HOME' is not "
+ "defined for '~' expansion, will use "
+ << (arg + 2) << endl;
+ line_history_path = UTF8_string(arg + 2);
+ }
+ else
+ {
+ line_history_path = UTF8_string(HOME);
+ line_history_path.append_ASCII(arg + 1);
+ }
+ }
+ else line_history_path = UTF8_string(arg);
}
else if (!strcasecmp(opt, "NABLA-TO-HISTORY"))
{