« Trucs:Redémarrer les services » : différence entre les versions
Aller à la navigation
Aller à la recherche
m (style) |
mAucun résumé des modifications |
||
| Ligne 3 : | Ligne 3 : | ||
Cette astuce fonctionne pour Mandriva et Debian. | Cette astuce fonctionne pour Mandriva et Debian. | ||
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> : | 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 : | ||
* Mandriva | * Mandriva, <code>service sound restart</code> | ||
* Debian | * Debian, <code>invoke-rc.d sound restart</code> | ||
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) | ||
Version du 24 octobre 2005 à 07:36
erion<erion_lampusa@yahoo.fr>
Cette astuce fonctionne pour Mandriva et Debian.
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)
Voir aussi gestion des services.