Les applications Linux fonctionnent plutôt bien ces temps-ci. De nouveaux programmes, plus performants, avec d'excellentes fonctionnalités qui nous aident à tirer le meilleur parti de nos ordinateurs sortent tous les jours. Malheureusement, parfois, ces programmes cessent de fonctionner. Lorsque votre programme Linux préféré se bloque, cliquer sur le bouton de fermeture ne fonctionne pas. Les blocages sont les pires et causent des tonnes de problèmes qui peuvent nuire à votre flux de travail. C'est pourquoi dans cet article, nous allons passer en revue toutes les meilleures façons de tuer rapidement les programmes du Terminal sous Linux. Nous allons passer en revue plusieurs commandes, ainsi que quelques outils GUI utiles à utiliser.
De loin la manière la plus facile de tuer rapidement des programmes du Terminal sous Linux est avec la commande pkill. Pkill est utile car il ne nécessite pas que l'utilisateur moyen connaisse le PID spécifique (numéro d'identification du processus). Au lieu de cela, vous pourrez terminer un processus en tapant simplement le nom. Voici un exemple de pkill en action:
pkill firefox
Pour la plupart des utilisateurs, l'exécution d'une commande pkill non root suffira à mettre fin à un programme gelé et tenace. Cependant, ce n'est pas toujours le cas, et parfois vous aurez besoin de flexion musculaire. Par exemple, si vous souhaitez supprimer un programme qui s'exécute en tant qu'utilisateur root ou son propre utilisateur, vous devez y attacher sudo .
sudo kill rootprogram
Pourtant, même en utilisant l'outil pkill pour terminer le programme racine peut ne pas être suffisant. Parfois, une application fonctionne de telle sorte qu'une simple commande kill ne va pas aider. Lorsque cela se produit, vous pouvez utiliser -9. L'ajout de -9 à la fin de pkill met généralement fin au programme par la force lorsque toutes les autres options échouent.
sudo pkill -9 rootprogram
Comment personnaliser le shell Gnome
Vous voulez changer l'icône, le thème du shell ou même la police dans Gnome Shell mais vous ne savez pas comment? Ne pas s'inquiéter. Dans cet article, nous allons vous apprendre tout ce qu'il faut savoir sur la façon de prendre l'environnement de bureau Gnome, le personnaliser et le personnaliser. Des icônes aux curseurs de souris, extensions, polices et tout le reste; C'est le guide définitif sur la façon de personnaliser Gnome Shell.
Comment enregistrer des vidéos YouTube sur Linux avec YouTube-DL
La vidéo en ligne est importante en 2017. Où que vous regardiez Quelqu'un regarde une vidéo. Pour la plupart des gens, la plate-forme de choix est YouTube où toutes les heures 48 heures de contenu vidéo est publié. Qu'il suffise de dire, il n'y a pas de pénurie de contenu vidéo disponible sur pratiquement n'importe quel sujet.
