Process identifier (PID)

From wikieduonline
Jump to navigation Jump to search

wikipedia:Process identifier

Apr 08 08:44:48 SERVER systemd[1]: nginx.service: Failed to parse PID from file /run/nginx.pid: Invalid argument

In WSL

System has not been booted with systemd as init system (PID 1). Can't operate.
Failed to connect to bus: Host is down

Scripts[edit]

#!/bin/bash

if [ $# -eq 0 ]
then
    echo "Usage: $0 <process PID>"
    echo "Checks if a process is running by its PID."
    exit 1
fi

# Get the PID of the process to check from the command line argument
process_pid=$1

# Check if the process is running
if ps -p $process_pid > /dev/null
then
    echo "Process with PID $process_pid is running."
else
    echo "Process with PID $process_pid is not running. Running tput bel..."
    while true; do tput bel; sleep 1; done
fi


Related terms[edit]

See also[edit]

Advertising: