diff options
Diffstat (limited to 'php')
| -rw-r--r-- | php/readline.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php/readline.php b/php/readline.php index 28d720d..d4b3ad7 100644 --- a/php/readline.php +++ b/php/readline.php @@ -1,6 +1,6 @@ <?php -$HISTORY_FILE = "/home/joelm/.mal-history"; +$HISTORY_FILE = $_SERVER['HOME'] . "/.mal-history"; function mal_readline($prompt) { global $HISTORY_FILE; |