#!/bin/bash

UNAME='/bin/uname'
SED='/bin/sed'
safe_uname=`/usr/bin/kcarectl --uname`
if [ "$safe_uname" = "NONE" ]; then
  $UNAME "$@"
else
  old_uname=`$UNAME -r`
  $UNAME "$@"|$SED "s/$old_uname/$safe_uname/g"
fi


