Forums » Utilisation d'AMC (french) »
où placer ses commandes personnelles
Added by daniel guillot over 6 years ago
Bonsoir !
Pour améliorer la lisibilité de mes fichiers tex j'ai créé un fichier dans lequel je regroupe le chargement des packages, mes commandes personnelles...
Jusqu'à présent (sur mon mac) je le plaçais avec le Finder dans la Bibliothèque dans le dossier texmf/tex.
Depuis que j'ai changé de PC, (j'ai installé ubuntu 16-04 avec virtualbox) je n'arrive pas à trouver le dossier équivalent...
En fait je n'arrive pas à accéder au dossier texmf avec le terminal (ou l'explorateur)...
Voici ce que j'ai fait (je m'excuse mais je n'arrive pas à faire une copie du terminal pour la coller dans mes discussions avec sreenshot !) :
dguilhot@dguilhot-VirtualBox:~$ cd /home
ensuite:(pour connaître les sous dossiers de home)
dguilhot@dguilhot-VirtualBox:/home$ ls -a
. .. dguilhot
Ensuite:
dguilhot@dguilhot-VirtualBox:/home$ cd /dguilhot
bash: cd: /dguilhot: No such file or directory
Et pourtout si je tape:
kpsewhich -var-value TEXMFHOME
j'obtiens bien :
/home/dguilhot/texmf
Quelqu'un aurait-il une explication ? MERCI d'avance !
PS: j'ai Texlive 2018 installé dans le dossier /usr/local
Replies (3)
RE: où placer ses commandes personnelles - Added by Alexis Bienvenüe over 6 years ago
Le répertoire texmf personnel n'existe pas forcément : il faut alors le créer :
mkdir ~/texmf
S'il existe, vous pouvez vous placer dedans grâce à
cd ~/texmf
(voir par exemple https://debian-facile.org/doc:programmation:shell:illustration-navigation-shell)
RE: où placer ses commandes personnelles - Added by daniel guillot over 6 years ago
Merci pour le lien, ça a l'air intéressant !
Pour revenir su mon problème, j'ai fini par trouver la solution ...avec un peu de chance je dois dire.
J'ai Texlive 2018 sur Ubuntu 16-04.
Le dossier dans lequel j'ai installé mes extensions personnelles est */usr/local/texlive/texmf-local/tex.
Par contre j'ai l'impression qu'il faut en plus taper la commande suivante dans le terminal:
texhash
Merci pour votre investissement ! Bonne soirée
RE: où placer ses commandes personnelles - Added by daniel guillot over 6 years ago
Je rajoute le lien qui m'a donné la solution:
(1-3/3)