Advertisement
rokytnji

kernelname

Dec 26th, 2013
104
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.15 KB | None | 0 0
  1. #! /bin/bash
  2. #
  3. [ -h /usr/src/linux ] && namesource=`readlink /usr/src/linux`
  4. name=`grep NAME /usr/src/$namesource/Makefile | cut -c 8-`
  5. echo $name
  6. exit
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement