Raise your hand if you donβt take proper notes but only rely on the shell history file. π
@joern i have a separate history file for each new shell and keep it all forever.
@joern but why do we choose to suffer? i donβt get it
@joern the problem is multiple files across multiple machines... π
@joern π
@joern my research diary used to be called ~/.bash_history and ~advisorname/.Rhistory π¬
@joern HISTSIZE max! π