Моя история bash загадочным образом перестала работать, и я понятия не имею, как это исправить. Вот как выглядит мой .bashrc:
HISTSIZE=500
HISTFILESIZE=500
HISTFILE=$HOME/.bash_history
Тем не менее, когда я бегу, echo $HISTFILEон печатает /Users/myusername/.bash_sessions/EE8689E5-7DAD-4018-817E-0AF1DE36082A.historynew.
Я владелец файла .bash_history, поэтому я не очень уверен, как бы я решил эту проблему.
Благодарность!
$HISTFILE, из интереса? У меня нет .bashrcOSX, и echo $HISTFILEя сообщаю о месте, которое я ожидал - комментирование обсуждаемых строк имеет какой-либо эффект?
HISTFILE="$HOME/.bash_history”. Без кавычек ваша версия будет недействительной, если путь к вашей домашней директории содержит пробелы (или, возможно, другие специальные символы).