Moja historia bashów w tajemniczy sposób przestała działać i nie mam pojęcia, jak to naprawić. Tak wygląda mój .bashrc:
HISTSIZE=500
HISTFILESIZE=500
HISTFILE=$HOME/.bash_history
Jednak po uruchomieniu echo $HISTFILEdrukuje się /Users/myusername/.bash_sessions/EE8689E5-7DAD-4018-817E-0AF1DE36082A.historynew.
Jestem właścicielem pliku .bash_history, więc nie jestem pewien, jak bym rozwiązał ten problem.
Dzięki!
$HISTFILE, nie interesując się? Nie mam .bashrcOSX i echo $HISTFILEdonosi o miejscu, którego bym się spodziewał - czy komentowanie linii ma jakiś wpływ?
HISTFILE="$HOME/.bash_history”. Bez cudzysłowów Twoja wersja będzie nieważna, jeśli ścieżka do katalogu domowego zawiera spacje (lub ewentualnie inne znaki specjalne).