#!/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/")
    $UNAME "$@"|$SED "s/$old_uname/$safe_uname/g"
  else
    old_uname=`$UNAME -r`
    $UNAME "$@"|$SED "s/$old_uname/$safe_uname.$($UNAME -m)/g"
  fi
fi
