La mia storia di bash ha misteriosamente smesso di funzionare e non ho idea di come risolverlo. Ecco come appare il mio .bashrc:
HISTSIZE=500
HISTFILESIZE=500
HISTFILE=$HOME/.bash_history
Tuttavia, quando echo $HISTFILElo eseguo stampa /Users/myusername/.bash_sessions/EE8689E5-7DAD-4018-817E-0AF1DE36082A.historynew.
Sono il proprietario del file .bash_history, quindi non sono troppo sicuro di come risolvere il problema.
Grazie!
$HISTFILE, per interesse? Non ho un .bashrcOSX e echo $HISTFILEriporta il posto che mi aspetterei: commentare le righe in questione ha qualche effetto?
HISTFILE="$HOME/.bash_history”. Senza le virgolette, la tua versione non sarà valida se il percorso della tua home directory contiene spazi (o eventualmente altri caratteri speciali).