Guest User

Untitled

a guest
Nov 13th, 2022
44
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.15 KB | None | 0 0
  1. BOOTFILE=`sysctl -n kern.bootfile`
  2. KERNELDIR=${BOOTFILE%/kernel}
  3. if ! [ -d ${KERNELDIR} ]; then
  4. echo "Cannot identify running kernel"
  5. exit 1
  6. fi
Advertisement
Add Comment
Please, Sign In to add comment