dotfiles/bin/makeprio

#!/bin/sh -e

pid="$(pidof "$1")"
shift
prio="${1:--22}"

sudo renice "$prio" "$pid"
Réécriture légère de makeprio 2023-05-08 11:02:50 +02:00			`#!/bin/sh -e`
Ajout du script makeprio 2023-04-16 12:47:33 +02:00
			`pid="$(pidof "$1")"`
Réécriture légère de makeprio 2023-05-08 11:02:50 +02:00			`shift`
			`prio="${1:--22}"`
Ajout du script makeprio 2023-04-16 12:47:33 +02:00
Réécriture légère de makeprio 2023-05-08 11:02:50 +02:00			`sudo renice "$prio" "$pid"`
Ajout du script makeprio 2023-04-16 12:47:33 +02:00