Sindbad~EG File Manager

#!/bin/bash

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

safe_uname=$(/usr/bin/kcarectl --uname)
if [ "$safe_uname" = "NONE" ] || [ "$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