• # Service

    Posté par . En réponse au sondage Pour redémarrer un service, vous êtes plutôt ?. Évalué à 5. Dernière modification le 22 janvier 2018 à 13:25.

    C'est "service <nom du service> restart" et non pas "service restart <nom du service>".

    C'est celui-ci que j'utilise perso, entre autre car il est plus rapide à taper ("servi" + completion contre "systemc" + completion). De plus cet ordre de commande permet à l'auto-completion de ne proposer que les actions pertinentes pour le service en question.