#!/bin/bash

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


