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 $HISTFILE
lo 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 .bashrc
OSX e echo $HISTFILE
riporta 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).