How To Install kimwitu++-doc on Ubuntu 18.04

In this tutorial we learn how to install kimwitu++-doc on Ubuntu 18.04. kimwitu++-doc is Documentation for the (syntax-)tree-handling tool Kimwitu++

Introduction

In this tutorial we learn how to install kimwitu++-doc on Ubuntu 18.04.

What is kimwitu++-doc

kimwitu++-doc is:

Kimwitu++ is a system that supports the construction of programs that use trees or terms as their main data structure. It allows you to define, store and operate on trees with typed nodes. Each type of node has a specific number of sons, and expects these sons to have specific types. The most popular example of such trees are syntax trees.

This is the documentation for Kimwitu++ in PDF and HTML format.

There are three methods to install kimwitu++-doc on Ubuntu 18.04. We can use apt-get, apt and aptitude. In the following sections we will describe each method. You can choose one of them.

Install kimwitu++-doc Using apt-get

Update apt database with apt-get using the following command.

sudo apt-get update

After updating apt database, We can install kimwitu++-doc using apt-get by running the following command:

sudo apt-get -y install kimwitu++-doc

Install kimwitu++-doc Using apt

Update apt database with apt using the following command.

sudo apt update

After updating apt database, We can install kimwitu++-doc using apt by running the following command:

sudo apt -y install kimwitu++-doc

Install kimwitu++-doc Using aptitude

If you want to follow this method, you might need to install aptitude first since aptitude is usually not installed by default on Ubuntu. Update apt database with aptitude using the following command.

sudo aptitude update

After updating apt database, We can install kimwitu++-doc using aptitude by running the following command:

sudo aptitude -y install kimwitu++-doc

How To Uninstall kimwitu++-doc on Ubuntu 18.04

To uninstall only the kimwitu++-doc package we can use the following command:

sudo apt-get remove kimwitu++-doc

Uninstall kimwitu++-doc And Its Dependencies

To uninstall kimwitu++-doc and its dependencies that are no longer needed by Ubuntu 18.04, we can use the command below:

sudo apt-get -y autoremove kimwitu++-doc

Remove kimwitu++-doc Configurations and Data

To remove kimwitu++-doc configuration and data from Ubuntu 18.04 we can use the following command:

sudo apt-get -y purge kimwitu++-doc

Remove kimwitu++-doc configuration, data, and all of its dependencies

We can use the following command to remove kimwitu++-doc configurations, data and all of its dependencies, we can use the following command:

sudo apt-get -y autoremove --purge kimwitu++-doc

References

Summary

In this tutorial we learn how to install kimwitu++-doc package on Ubuntu 18.04 using different package management tools: apt, apt-get and aptitude.