On Tue, Jun 23, 2015 at 1:44 AM, Theodotos Andreou wrote: > Filed. Let's see... > > https://savannah.gnu.org/bugs/index.php?45375 A correction, the user config file was not generated during the compile, it was generated when you ran gnujump for the first time. -- bye, pabs https://wiki.debian.org/PaulWise