Come desinstalare agda-mode su Ubuntu

Desinstalare agda-mode

Se vuoi desinstalare solamente agda-mode su Ubuntu esegua nella riga di comandi:

sudo apt-get remove agda-mode

Desinstalare agda-mode e i suoi pacchetti dipendenti

Se vuoi desinstalare il pacchetto agda-mode e qualsiasi altri pacchetti dipendenti su cui non sia più necessario su Ubuntu.

sudo apt-get autoremove agda-mode

Pulire agda-mode

Se vuoi anche pulire le configurazione ed i dati di agda-mode su Ubuntu esegua i seguenti comandi:

sudo apt-get purge agda-mode

Se vuoi pulire le configurazione e i dati di agda-mode ed i suoi pacchetti dipendenti su Ubuntu esegua:

sudo apt-get autoremove --purge agda-mode

Informazioni del pacchetto agda-mode

nome agda-mode
sezione misc
descrizione

dependently typed functional programming language — emacs mode

sito wiki.portal.chalmers.se/ agda/ 
responsabile ubuntu-devel-discuss@lists.ubuntu.com

More information about apt-get remove

Advanced Package Tool, or APT, is a free software user interface that works with core libraries to handle the installation and removal of software on Debian, Ubuntu and other Linux distributions. APT simplifies the process of managing software on Unix-like computer systems by automating the retrieval, configuration and installation of software packages, either from precompiled files or by compiling source code.

apt-get is the command-line tool for handling packages, and may be considered the user's "back-end" to other tools using the APT library.

apt-get remove is identical to install except that packages are removed instead of installed. Note that removing a package leaves its configuration files on the system. If a plus sign is appended to the package name (with no intervening space), the identified package will be installed instead of removed.

Vedi anche

Come instalare il pacchetto agda-mode su Ubuntu