#!/bin/bash

UNAME='/bin/uname'
SED='/bin/sed'

safe_uname=`/usr/bin/kcarectl --uname`
if [ "$safe_uname" = "NONE" -o "$safe_uname" = "" ]; then
  $UNAME "$@"
else
  old_uname=`$UNAME -v`
  if [[ "$old_uname" == *"Debian"* ]]; then
    old_uname=$(echo $old_uname | $SED -E "s/.*Debian (.*)( .*|$)/\1/")
  else
    old_uname=`$UNAME -r`
  fi
  machine=`$UNAME -m`
  if [[ "$old_uname" = *.${machine} && "$safe_uname" != *.${machine} ]]
  then
      safe_uname="${safe_uname}.${machine}"
  fi
  result=`$UNAME "$@"|$SED "s/$old_uname/$safe_uname/g"`
  echo "${result}"
fi