patch-tools_Linux_kodi_sh_in 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839
  1. --- kodi-14.0rc2.orig/tools/Linux/kodi.sh.in 2014-12-05 19:38:43.000000000 -0600
  2. +++ kodi-14.0rc2/tools/Linux/kodi.sh.in 2014-12-07 08:33:01.128418001 -0600
  3. @@ -86,15 +86,7 @@ print_crash_report()
  4. echo -n " Kernel: " >> $FILE
  5. uname -rvs >> $FILE
  6. echo -n " Release: " >> $FILE
  7. - if [ -f /etc/os-release ]; then
  8. - . /etc/os-release
  9. - echo $NAME $VERSION >> $FILE
  10. - elif command_exists lsb_release; then
  11. - echo >> $FILE
  12. - lsb_release -a 2> /dev/null | sed -e 's/^/ /' >> $FILE
  13. - else
  14. - echo "lsb_release not available" >> $FILE
  15. - fi
  16. + echo OpenADK >> $FILE
  17. echo "############## END SYSTEM INFO ##############" >> $FILE
  18. echo >> $FILE
  19. echo "############### STACK TRACE #################" >> $FILE
  20. @@ -138,19 +130,6 @@ print_crash_report()
  21. }
  22. migrate_home
  23. -python @datadir@/${bin_name}/FEH.py $SAVED_ARGS
  24. -RET=$?
  25. -if [ $RET -ne 0 ]; then
  26. - exit $RET
  27. -fi
  28. -
  29. -if command_exists gdb; then
  30. - # Output warning in case ulimit is unsupported by shell
  31. - eval ulimit -c unlimited
  32. - if [ ! $? = "0" ]; then
  33. - echo "${bin_name}: ulimit is unsupported by this shell" 1>&2
  34. - fi
  35. -fi
  36. LOOP=1
  37. while [ $(( $LOOP )) = "1" ]