|
|
0df7c53bc2
|
chu bete des fois mdr
|
2022-03-12 02:24:50 +01:00 |
|
|
|
876de52c20
|
$("") au lieu de $() et modif du 2ème sed
|
2022-03-12 01:50:37 +01:00 |
|
|
|
97ba7709d8
|
ajout support d'autres noms que "index.gmi" (le .html sortant aura le meme nom que le fichier .gmi)
|
2022-03-12 01:32:45 +01:00 |
|
|
|
21029cfeff
|
pas besoin de "-r" au "rm" qui vide juste le dossier "temp/"
|
2022-03-12 01:18:08 +01:00 |
|
|
|
746583e20f
|
"${PWD}"
|
2022-03-12 01:14:25 +01:00 |
|
|
|
b76038422a
|
nettoyage des echos et ajout commentaires
|
2022-03-12 01:08:26 +01:00 |
|
|
|
bcf2436030
|
je déteste l'informatique
|
2022-03-12 01:00:58 +01:00 |
|
