Nieuws:

We zijn er weer.

Na lange tijd van afwezigheid zijn we er weer  :laugh:
We hebben alle wachtwoorden gereset, je oude wachtwoord werkt niet meer.Je moet via het "wachtwoord vergeten"-linkje je wachtwoord resetten. Je krijgt hiervoor een mailtje op het adres dat je bij ons geregistreerd hebt.

De komende tijd zijn we nog druk bezig om de rest van de site op te bouwen, dus het kan zijn dat sommige onderdelen (tijdelijk) niet werken.

Welkom, Gast. Alsjeblieft inloggen of registreren.
Heb je de activerings-mail niet ontvangen?

Auteur Topic: shell script: PID en killen  (gelezen 1034 keer)

pjvolders

  • Gast
shell script: PID en killen
« Gepost op: 2008/08/22, 19:31:21 »
Hoi

ik ben een shell script aan het schrijven dat een geluidsfragment laat horen (mp3) via het commando mpg123. Maar ik wil het geluid een paar stappen verder laten stoppen dus via kill -9 pid_van_mpg123. Mar hoe kan ik het pid te weten komen? Ik weet als ik in de terminal $mpg123 file.mp3 &typ dat het pid verschijnt maar pid=`mpg123 file.mp3 &`werkt niet. $pid blijft leeg...

groetjes
PJ

Offline Nunslaughter

  • Lid
    • timovwb
  • Steunpunt: Nee
shell script: PID en killen
« Reactie #1 Gepost op: 2008/08/22, 20:09:55 »
Kunt ge niet gewoon mpg123 killen?
killall mpg123

pjvolders

  • Gast
shell script: PID en killen
« Reactie #2 Gepost op: 2008/08/23, 09:10:40 »
Werkt!
Bedankt...
Ik zal een van dees mijn script eens showen.