Cara Install agda di Kali Linux

Tutorial ini menjelaskan cara install agda di Kali Linux

Pengenalan

Di tutorial ini kita akan belajar melakukan instalasi agda di Kali Linux

Sebelum kita melakukan instalasi paket agda kita akan melakukan update database apt di komputer kita.

Kita bisa melakukan update database apt dengan menggunakan perintah apt-get berikut:

sudo apt-get update

Perintah alternatif untuk update database apt menggunakan perintah apt:

sudo apt update

Alternatif terakhir menggunakan perintah aptitude untuk mengupdate database apt:

sudo aptitude update

Setelah database apt di komputer kita terupdate, kita bisa melakukan instalasi paket agda.

Ada tiga metode instalasi agda yang bisa anda gunakan yaitu menggunakan apt-get, apt dan aptitude.

sudo apt-get -y install agda

sudo apt -y install agda

sudo aptitude -y install agda

Untuk melakukan uninstall hanya paket agda kita bisa menggunakan perintah berikut:

sudo apt-get remove agda

Untuk melakukan uninstall agda dan paket-paket dependensi yang sudah tidak dibutuhkan Kali Linux kita bisa menggunakan perintah berikut:

sudo apt-get autoremove agda

Untuk menghapus konfigurasi dan/atau data berkaitan dengan agda dari Kali Linux kita bisa menggunakan perintah berikut:

sudo apt-get purge agda

Untuk menghapus konfigurasi dan/atau data dan seluruh dependensi paket agda kita bisa menggunakan perintah berikut:

sudo apt-get autoremove --purge agda