« Trucs:Redémarrer les services » : différence entre les versions
Aller à la navigation
Aller à la recherche
(style, typo, ortho (grr, du SMS) + différences de distributions) |
mAucun 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 fonctionne | Cette astuce fonctionne pour Mandriva et 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> | * 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 | * Mandriva : Vous tapez seulement <code>service sound restart</code> | ||
* Debian : <code>invoke-rc.d sound restart</code> | |||
Et hop, le tour est joué ! C’est quand même plus rapide :o) | |||
[[Admin-admin_boot-daemons Gestion des services]] | |||
[[Catégorie:Trucs_Administration]] | [[Catégorie:Trucs_Administration]] | ||
Version du 24 octobre 2005 à 05:23
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 - Mandriva : Vous tapez seulement
service sound restart - Debian :
invoke-rc.d sound restart
Et hop, le tour est joué ! C’est quand même plus rapide :o)