« Trucs:Redémarrer les services » : différence entre les versions
Aller à la navigation
Aller à la recherche
mAucun résumé des modifications |
(style, typo, ortho (grr, du SMS) + différences de distributions) |
||
| Ligne 1 : | Ligne 1 : | ||
<div class="leapar">erion<erion_lampusa@yahoo.fr></div> | <div class="leapar">erion<erion_lampusa@yahoo.fr></div> | ||
Cette astuce fonctionne dans Mandriva, mais pas dans Debian. | |||
Simplement, lorsque vous voulez redémarrer un service après avoir modifié un fichier de configuration quelconque : | 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 <code>service sound restart</code>. Et hop, le tour est joué ! C’est quand même plus rapide. :o) | |||
[[Catégorie:Trucs_Administration]] | [[Catégorie:Trucs_Administration]] | ||
Version du 23 octobre 2005 à 06:32
erion<erion_lampusa@yahoo.fr>
Cette astuce fonctionne dans Mandriva, mais pas dans 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
service sound restart. Et hop, le tour est joué ! C’est quand même plus rapide. :o)