Oui ce choix des dossiers est un peu personnel mais comme dit c'est configurable. J'aurais pu les mettre en répertoires cachés. Comme j'ai déjà un ~/bin avec tous mes scripts et un ~/tmp avec des trucs à jeter mais qui doivent quand même survivre à un reboot, ça allait bien.
Le répertoire temporaire est détruit à la sortie du script ; comme il y a un $$ dans le chemin, ça permet de lancer en même temps mkdocs-et.sh serve -all dans un terminal, et de faire dans un autre terminal de temps en temps un mkdocs-et.sh publish -all sans interrompre le premier, comme ça ils ont chacun leur propre tmp et ne se marchent pas sur les pieds.
L'important est que tout soit dans la même partition pour les hard links (donc pour moi ça exclut /tmp car /home a sa propre partition).
[^] # Re: Premier retour : dossier bin et tmp
Posté par gato . En réponse au journal générer des cours en Markdown avec Mkdocs-et. Évalué à 2.
Merci pour le compliment !
Oui ce choix des dossiers est un peu personnel mais comme dit c'est configurable. J'aurais pu les mettre en répertoires cachés. Comme j'ai déjà un
~/binavec tous mes scripts et un~/tmpavec des trucs à jeter mais qui doivent quand même survivre à un reboot, ça allait bien.Le répertoire temporaire est détruit à la sortie du script ; comme il y a un $$ dans le chemin, ça permet de lancer en même temps
mkdocs-et.sh serve -alldans un terminal, et de faire dans un autre terminal de temps en temps unmkdocs-et.sh publish -allsans interrompre le premier, comme ça ils ont chacun leur propre tmp et ne se marchent pas sur les pieds.L'important est que tout soit dans la même partition pour les hard links (donc pour moi ça exclut
/tmpcar/homea sa propre partition).