logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 19-01-2019 09:08:56

LaFouine
Membre
Distrib. : Debian testing
Noyau : 4.19.0-4-amd64
(G)UI : Xfce
Inscription : 10-04-2017

Ou placer les scripts perso et fichier de configuration ?

Bonjours,

J'ai des script en shell, avec des fichier de configuration, je devrai mettre tout cela a qu'elle endroit du système ?

le répertoire /tmp est bien un endroit pour écrire des fichier temporaire, mai comment être sur de ne pas toucher a un fichier qui n'est pas le mien ?

Merci d'avance

Debian testing, nvidia 980 gtx sli, cm asurock 16 gb ram cpu i7 4,2 ghz

Hors ligne

#2 19-01-2019 09:14:47

Freemaster
Membre
Lieu : Nord
Distrib. : Debian amd64
Inscription : 31-07-2018
Site Web

Re : Ou placer les scripts perso et fichier de configuration ?

/opt/scripts


ça m'a l'air bien smile


o_O

Hors ligne

#3 19-01-2019 09:26:16

raleur
Membre
Inscription : 03-10-2014

Re : Ou placer les scripts perso et fichier de configuration ?

Ou dans la hiérachie /usr/local si c'est global au système.
Plutôt dans ~/bin si c'est spécifique à un utilisateur.

/tmp n'est évidemment pas un endroit pérenne, son contenu n'est pas forcément préservé après un arrêt ou un redémarrage.

Dernière modification par raleur (19-01-2019 09:28:08)


Il vaut mieux montrer que raconter.

Hors ligne

#4 24-01-2019 13:38:46

LaFouine
Membre
Distrib. : Debian testing
Noyau : 4.19.0-4-amd64
(G)UI : Xfce
Inscription : 10-04-2017

Re : Ou placer les scripts perso et fichier de configuration ?

Merci pour vos réponse, /opt est vide chez moi donc sa me parait être une bonne solution. pour /usr/local il y a déjà des application qui si trouve, comme debian a environ 50'00 paquet , je vai rester sur /opt

Debian testing, nvidia 980 gtx sli, cm asurock 16 gb ram cpu i7 4,2 ghz

Hors ligne

#5 24-01-2019 14:27:34

raleur
Membre
Inscription : 03-10-2014

Re : Ou placer les scripts perso et fichier de configuration ?

LaFouine a écrit :

pour /usr/local il y a déjà des application qui si trouve, comme debian a environ 50'00 paquet


En principe Debian n'installe rien dans /usr/local. Chez moi il ne contient que les répertoires de base (bin, lib...) vides.


Il vaut mieux montrer que raconter.

Hors ligne

#6 05-02-2019 15:25:46

Allain
Membre
Distrib. : Jessie 8.11 (VM) / Stretch 9.7 (VM) / Jessie 8.5 (
Noyau : Il changera encore
(G)UI : Gnome 3
Inscription : 30-07-2016

Re : Ou placer les scripts perso et fichier de configuration ?

raleur a écrit :

Plutôt dans ~/bin si c'est spécifique à un utilisateur.



Je te rejoins
Et ajouter ~/bin au PATH si tu utilises regulierement ces scripts
L'avantage est de les retrouver si tu fais un backup de $HOME avant catastrophe

Hors ligne

#7 05-02-2019 15:34:36

raleur
Membre
Inscription : 03-10-2014

Re : Ou placer les scripts perso et fichier de configuration ?

Allain a écrit :

Et ajouter ~/bin au PATH


Il me semblait que c'était fait automatiquement par un des scripts qu'exécute bash en mode session (profile ou bashrc) si le répertoire ~/bin existe.

Dernière modification par raleur (05-02-2019 15:35:41)


Il vaut mieux montrer que raconter.

Hors ligne

#8 05-02-2019 15:55:06

Allain
Membre
Distrib. : Jessie 8.11 (VM) / Stretch 9.7 (VM) / Jessie 8.5 (
Noyau : Il changera encore
(G)UI : Gnome 3
Inscription : 30-07-2016

Re : Ou placer les scripts perso et fichier de configuration ?

Allain a écrit :
    Et ajouter ~/bin au PATH
Il me semblait que c'était fait automatiquement



Je l'ai ajouté manuellement

Hors ligne

#9 05-02-2019 17:07:00

MicP
Membre
Inscription : 29-02-2016

Re : Ou placer les scripts perso et fichier de configuration ?

Comme le répertoire ~/bin est ajouté au PATH par le fichier ~/.profile => qu'en cas d'utilisation d'un "login shell"

pour qu'il soit quand même ajouté au PATH du shell bash utilisé dans un émulateur de terminal lancé depuis l'Environnement de Bureau
j'ai ajouté ces quelques lignes à la fin de mon fichier ~/.bashrc

# if not yet set, set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ]; then
    [[ "$PATH" =~ "$HOME/bin" ]] || export PATH="$HOME/bin:$PATH"
fi
 


Dernière modification par MicP (05-02-2019 17:07:45)

Hors ligne

#10 05-02-2019 17:13:15

Allain
Membre
Distrib. : Jessie 8.11 (VM) / Stretch 9.7 (VM) / Jessie 8.5 (
Noyau : Il changera encore
(G)UI : Gnome 3
Inscription : 30-07-2016

Re : Ou placer les scripts perso et fichier de configuration ?

export PATH=~/bin:$PATH
Je ne me suis pas plus cassé la tête que ça wink

Hors ligne

#11 05-02-2019 20:54:43

yole1
Membre
Distrib. : Debian9
(G)UI : Cinnamon
Inscription : 08-08-2017

Re : Ou placer les scripts perso et fichier de configuration ?

un .desktop et le lanceur dans bin aussi

Hors ligne

Pied de page des forums