Linux menentukan jenis file melalui kode di header file. Itu tidak tergantung pada ekstensi file untuk mengetahui perangkat lunak mana yang digunakan untuk membuka file. Itulah yang saya ingat dari pendidikan saya. Tolong koreksi saya kalau-kalau saya salah! Bekerja sedikit dengan sistem Ubuntu...