Al momento ho una regola Makefile così:risparmio PID del processo generato all'interno di un Makefile
start:
./start.sh
che inizia un semplice server necessari come parte del processo di generazione. Ho un'altra regola per l'arresto del server:
stop:
kill `cat bin/server.PID`
Ecco lo script start.sh:
#!/bin/bash
cd bin
python server.py &
echo $! > server.PID
NB server.py deve essere eseguito all'interno della directory bin
mi piacerebbe come implementare la funzionalità di start.sh all'interno della regola di avvio, ho provato numerose cose ma non riesco a ottenere il PID.
- $$! sembra che non restituisca nulla per me, guarderò di nuovo! –
tipico ora funziona! Non riesco a vedere per la vita di me quello che stavo facendo di sbagliato prima! - Grazie! –
Forse il problema era che '$!' È una variabile di shell, non una variabile make (come '$ @' o '$ <'), e quindi devi raddoppiare il '$'. – reinierpost