Разархивация в linux
Оказалось, что достать файл из архива просто. Я даже не уверен, что его надо было доставать - может его и так как-то запустить можно, но я достал. Несмотря на всё моё некотрое пренебрежение к команде man, но man tar отлично рассказала (точнее, там в примере было - потому что tar-у надо точно говорить какого типа архив. Сам он не понимает). Так вот, если набрать tar xvvf C1*.tar, то нужный файл очень даже развернётся. :-)