<header>Copier les fichiers dans le répertoire personnel? </header>

Quand un nouvel utilisateur est créé et que cette option est choisie,
les fichiers standards comme <tt>.cshrc</tt> et <tt>profile</tt> seront
copiés depuis <tt><exec $config{'user_files'}></tt> vers le répertoire
personnel de l'utilisateur. <p>

Choisir cette option n'a aucun effet si l'option <a href=makehome>Créer
le répertoire personnel</a> n'est pas choisie. <p>
<hr>