On Thu, 20 Sep 2018 17:07:19 -0400 Luke wrote: > For example, my hackers.git username is 'lukeshu', but on my PC my > username (and thus the value of $LIBREUSER) is 'luke'. Because of > this mismatch, I have to put this in my > `~/.config/libretools/libretools.conf`: > > REPODEST=ssh://[email protected]:1863/~/staging/
why not make LIBREUSER the configurable option and leave REPODEST as is? that seems more semantical _______________________________________________ Dev mailing list [email protected] https://lists.parabola.nu/mailman/listinfo/dev
