Cara Install proofgeneral di Ubuntu 20.04

Pengenalan

Di tutorial ini kita akan belajar melakukan instalasi proofgeneral di Ubuntu 20.04

Update Database apt

Sebelum kita melakukan instalasi paket proofgeneral 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

Cara Install proofgeneral di Ubuntu 20.04

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

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

Install proofgeneral Menggunakan apt-get

sudo apt-get -y install proofgeneral

Install proofgeneral Menggunakan apt

sudo apt -y install proofgeneral

Install proofgeneral Menggunakan aptitude

sudo aptitude -y install proofgeneral

Cara Uninstall proofgeneral di Ubuntu 20.04

Untuk melakukan uninstall / menghapus hanya paket proofgeneral kita bisa menggunakan perintah berikut:

sudo apt-get remove proofgeneral

Uninstall proofgeneral dan paket-paket dependesi

Untuk melakukan uninstall / menghapus paket proofgeneral dan paket-paket dependensi yang sudah tidak dibutuhkan Ubuntu kita bisa menggunakan perintah berikut:

sudo apt-get autoremove proofgeneral

Menghapus Konfigurasi dan/atau data proofgeneral dari Ubuntu

Untuk menghapus konfigurasi dan/atau data berkaitan dengan proofgeneral dari Ubuntu kita bisa menggunakan perintah berikut:

sudo apt-get purge proofgeneral

Menghapus konfigurasi dan/atau data dan seluruh dependensi paket proofgeneral

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

sudo apt-get autoremove --purge proofgeneral