Outils pour utilisateurs

Outils du site


informatique:divers

Ceci est une ancienne révision du document !


Divers

Cette page est un fourre-tout de tout ce qui ne peut pas faire l'objet d'une page. Quand il y aura plusieurs choses qui pourront faire l'objet d'une page, elles seront déplacées.

# génération d'une archive en changeant les chemins des fichiers
tar -C test.tar/ --transform="s/\./hello/" --transform="s/toto1/tata/" -cvzf tar.tar .
 
# génération d'un pdf à partir d'un md
pandoc --from=markdown --to=latex -o Config.Switch.pdf --toc -N -V colorlinks -H head.tex -V geometry:"top=2cm,bottom=2cm,left=2cm,right=2cm" Config.Switch.md
informatique/divers.1732468474.txt.gz · Dernière modification : 2024/11/24 09:14 de alexis