Если вы используете систему, в которой есть утилиты GNU, вы всегда можете использовать basename
, чтобы удалить расширение:
$ basename -s ".mkv" GameOfThronesS01E05.mkv
GameOfThronesS01E05
В противном случае python тоже всегда будет хорошим выбором:
$ python -c 'import sys;print sys.argv[1][:-4]' GameOfThronesS01E05.mkv
GameOfThronesS01E05