Make, grep und Co

[Alexander Reelsen]

Moin

On Thu, Sep 14, 2000 at 09:12:04PM +0200, Joern Muehlencord wrote:
> Das liefert mir die PID der RMIRegistry. Wie aber kann ich das jetzt in
> ein Makefile basteln?
> Also, Nummer raussuchen und danach mit kill beenden und anschliessend
> rmiregistry wider neustarten!? Ich bekomme es einfach nicht hin. Fuer
> Hinweise bin ich jederzeit dankbar.
Ich weiss zwar nicht, was RMIregistry ist (hoert sich so windows maessig
an), aber hier mal ein beispiel, das unter normalen linux rechnern gehen
duerfte, andere unixe haben allerdings kein pidof (iirc). Musst evtl mit
ps rumgrep'en.

alex at joker:~/test# make
Terminated
alex at joker:~/test# cat Makefile
all:
       @kill $(shell pidof make)
alex at joker:~#


MfG/Regards, Alexander

-- 
Alexander Reelsen   http://joker.rhwd.de
ref at linux.com       GnuPG: pub 1024D/F0D7313C  sub 2048g/6AA2EDDB
ar at rhwd.net         7D44 F4E3 1993 FDDF 552E  7C88 EE9C CBD1 F0D7 313C
Securing Debian:    http://joker.rhwd.de/doc/Securing-Debian-HOWTO

-
Hinweise zur Benutzung dieser (und anderer Mailing-Listen) bitte beachten:
--> http://lug-owl.de/mailinglist_hints.html <--