Outils pour utilisateurs
tips_informatiques:windows:divers:divers
Différences
Ci-dessous, les différences entre deux révisions de la page.
|
tips_informatiques:windows:divers:divers [2009/06/22 14:44] nico créée |
tips_informatiques:windows:divers:divers [2013/11/30 20:04] (Version actuelle) nico |
||
|---|---|---|---|
| Ligne 13: | Ligne 13: | ||
| __Raison__: | __Raison__: | ||
| ??? | ??? | ||
| + | |||
| + | |||
| + | ====== Tuer un processus ====== | ||
| + | |||
| + | __OS__: Windows 7 | ||
| + | |||
| + | __Commande__: | ||
| + | |||
| + | <code> | ||
| + | taskkill /PID 1234 /F | ||
| + | </code> | ||
tips_informatiques/windows/divers/divers.txt · Dernière modification: 2013/11/30 20:04 par nico
Outils de la page
