Informatique
/etc/profile
/etc/profile est un fichier de configuration qui est exécuté pour tous les utilisateurs lors de l'ouverture d'une sess…
← Cédrix
Articles de Cédrix
Informatique
/etc/bashrc
/etc/bashrc est un fichier de configuration pour la shell Bash qui est généralement utilisé par les systèmes d'exploit…
Informatique
.bash_logout
.bashlogout est un fichier de script exécuté automatiquement par le shell Bash lorsqu'un utilisateur se déconnecte de …
Informatique
.profile
.profile Définition et exemples est un fichier de configuration pour la shell , qui est utilisé sur les systèmes d'exp…
Informatique
.bash_profile
.bashprofile Définition et exemples est un fichier de configuration pour la shell , qui est utilisé sur les systèmes d…
Électronique
Installer le logiciel Arduino IDE sous Linux
Installer le logiciel Arduino IDE sous Linux Cet article a été testé avec les distributions suivantes : Linux Mint 21 /…
Informatique
cp
cp La commande sous Linux est une commande utilisée pour copier des fichiers et des répertoires d'un emplacement à un …
Informatique
mv
mv La commande est une commande de la ligne de commande utilisée pour déplacer ou renommer des fichiers et des réperto…
Informatique
.bash_aliases
.bashaliases Le fichier contient des alias de commandes qui sont des raccourcis pour des commandes plus longues ou com…
Informatique
Variable `$$` — récupérer le PID du shell
Variable — récupérer le PID du shell La variable spéciale renvoie le PID (Process IDentifier) du shell courant, c'est…
Informatique
L'opérateur `&&` — exécution conditionnelle
L'opérateur — exécution conditionnelle L'opérateur permet d'enchaîner deux commandes en exécutant la seconde uniqueme…
Informatique
`&` — lancer un processus en arrière-plan
— lancer un processus en arrière-plan En bash, le caractère placé à la fin d'une commande lance le processus correspon…