I’m fairly sure the command for inserting this would be something like
echo "eval $(thefuck --alias)" >> ~/.bash_profileis this correct? Any help would be much appreciated!
Tudo isso é anexado texto (via echo e >> ) no arquivo de destino - que neste caso é ~/.bash_profile . Então sim, o comando está correto.
Ou você pode simplesmente seguir as instruções na página instalação manual mostrada na mensagem de erro que diz claramente :
You should place this command in your .bash_profile, .bashrc, .zshrc or other startup script:
eval $(thefuck --alias)
Ou seja, isso não é mágico: basta abrir o arquivo .bash_profile usando o editor que preferir usar, como o Nano, e adicionar a linha eval "$(thefuck --alias)" ao arquivo.
Em seguida, feche e reabra seu terminal - ou simplesmente digite source ~/.bash_profile - e você deve estar pronto.