diff options
| author | David Runge <david.runge@frqrec.com> | 2014-09-28 16:15:27 +0200 |
|---|---|---|
| committer | David Runge <david.runge@frqrec.com> | 2014-09-28 16:15:27 +0200 |
| commit | 0de638b1e925400cc0e517f3db94008ca450e71f (patch) | |
| tree | 42bb0e54e2ab288524c7da1fa31bd5c2aade571a /bin | |
| parent | 08484395f10d4c8b354f2ec09daa388095931cc3 (diff) | |
| download | dotfiles-0de638b1e925400cc0e517f3db94008ca450e71f.tar.gz dotfiles-0de638b1e925400cc0e517f3db94008ca450e71f.tar.bz2 dotfiles-0de638b1e925400cc0e517f3db94008ca450e71f.tar.xz dotfiles-0de638b1e925400cc0e517f3db94008ca450e71f.zip | |
Adding scripts to check weather currently running a realtime or vanilla kernel.
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/check-rt | 11 | ||||
| -rwxr-xr-x | bin/check-vanilla | 11 |
2 files changed, 22 insertions, 0 deletions
diff --git a/bin/check-rt b/bin/check-rt new file mode 100755 index 0000000..5dc04cd --- /dev/null +++ b/bin/check-rt @@ -0,0 +1,11 @@ +#!/bin/env bash +#Check if the kernel name has -rt in it (we're running Realtime Kernel) + +if [[ $(uname -r) == *-rt* ]];then + echo "Success: Running $(uname -r)." + exit 0 +else + echo "Failure: Running $(uname -r)." + exit 1 +fi + diff --git a/bin/check-vanilla b/bin/check-vanilla new file mode 100755 index 0000000..6b4bdd4 --- /dev/null +++ b/bin/check-vanilla @@ -0,0 +1,11 @@ +#!/bin/env bash +#Check if the kernel name has -rt in it (we're running Realtime Kernel) + +if [[ $(uname -r) == *-rt* ]];then + echo "Failure: Running $(uname -r)." + exit 1 +else + echo "Success: Running $(uname -r)." + exit 0 +fi + |