Ekstensi Gnome-shell untuk menampilkan jadwal shalat. Metode perhitungan menggunakan Prayer Times Calculator buatan Hamid Zarrabi-Zadeh dari PrayTimes.org. Perhitungan lebih detail bisa dilihat di berkas PrayTimes.js
Mohon diingat, hasil perhitungan kemungkinan tidak tepat dengan metode sebenarnya. Untuk itu, demi kehati-hatian, hendaknya waktu shalat ditambah sekitar 1-3 menit.
Meski begitu, jika dibandingkan dengan hasil perhitungan Accurate Times versi 5.3, untuk wilayah Bandung, hanya waktu subuh saja yang berbeda 1 menit.
Untuk memasang esktensi ini, salin folder [email protected]
ke $HOME/.local/share/gnome-shell/extensions/
Setelah itu, tekan alt-F2 -> r -> Enter
Secara default, jadwal yang ditampilkan merupakan untuk wilayah Bandung dan sekitarnya. Untuk mengganti lokasi, pastikan anda mengetahui koordinat lintang dan bujur (serta elevasi). Setelah itu, buka berkas extension.js dan ganti parameter pada variabel loc.
let loc = {
city : 'nama kota',
lat : latitude,
lng : longitude,
elev : ketinggian (dalam meter),
tzone : time zone
};
Setelah berkas disimpan, kembali tekan alt-F2 -> r -> Enter