Philipp Millar
Results
2
comments of
Philipp Millar
We might want to change the naming scheme for those default configurations. Right now they get a name in the form of `pwd/sessionname`. Wouldn't something like `std/sessionname` or even just...
One could place all the configurations in the top level as hidden files for the same effect. Since the dot gets stripped away anyway, the behaviour should be the same,...