« Trucs:Redémarrer les services » : différence entre les versions
Aller à la navigation
Aller à la recherche
mAucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
<div class="leapar">erion<erion_lampusa@yahoo.fr></div> | <div class="leapar">erion<erion_lampusa@yahoo.fr></div> | ||
Cette astuce | Cette astuce fonctionnait pour Mandriva et Debian en 2015. | ||
Voir aussi [[Admin-admin_boot-daemons|gestion des services]] et [[Systemd]]. | |||
Simplement, lorsque vous voulez redémarrer un service après avoir modifié un fichier de configuration quelconque, au lieu de taper par exemple (en ''root'' bien sûr) <code>/etc/rc.d/init.d/sound restart</code>, vous tapez seulement dans : | Simplement, lorsque vous voulez redémarrer un service après avoir modifié un fichier de configuration quelconque, au lieu de taper par exemple (en ''root'' bien sûr) <code>/etc/rc.d/init.d/sound restart</code>, vous tapez seulement dans : | ||
| Ligne 8 : | Ligne 11 : | ||
Et hop, le tour est joué ! C’est quand même plus rapide :o) | Et hop, le tour est joué ! C’est quand même plus rapide :o) | ||
[[Catégorie:Trucs_Administration]] | [[Catégorie:Trucs_Administration]] | ||
Version du 24 mars 2016 à 17:07
erion<erion_lampusa@yahoo.fr>
Cette astuce fonctionnait pour Mandriva et Debian en 2015.
Voir aussi gestion des services et Systemd.
Simplement, lorsque vous voulez redémarrer un service après avoir modifié un fichier de configuration quelconque, au lieu de taper par exemple (en root bien sûr) /etc/rc.d/init.d/sound restart, vous tapez seulement dans :
- Mandriva,
service sound restart - Debian,
invoke-rc.d sound restart
Et hop, le tour est joué ! C’est quand même plus rapide :o)