How To Install dhall on Ubuntu 20.04

In this tutorial we learn how to install dhall on Ubuntu 20.04. dhall is configuration language guaranteed to terminate

Introduction

In this tutorial we learn how to install dhall on Ubuntu 20.04.

What is dhall

dhall is:

Dhall is an explicitly-typed configuration language that is not Turing complete. Despite being Turing-incomplete, Dhall is a real programming language with a type-checker and evaluator.

Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language.

This package contains an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form.

There are three methods to install dhall on Ubuntu 20.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 dhall Using apt-get

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

sudo apt-get update

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

sudo apt-get -y install dhall

Install dhall Using apt

Update apt database with apt using the following command.

sudo apt update

After updating apt database, We can install dhall using apt by running the following command:

sudo apt -y install dhall

Install dhall 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 dhall using aptitude by running the following command:

sudo aptitude -y install dhall

How To Uninstall dhall on Ubuntu 20.04

To uninstall only the dhall package we can use the following command:

sudo apt-get remove dhall

Uninstall dhall And Its Dependencies

To uninstall dhall and its dependencies that are no longer needed by Ubuntu 20.04, we can use the command below:

sudo apt-get -y autoremove dhall

Remove dhall Configurations and Data

To remove dhall configuration and data from Ubuntu 20.04 we can use the following command:

sudo apt-get -y purge dhall

Remove dhall configuration, data, and all of its dependencies

We can use the following command to remove dhall configurations, data and all of its dependencies, we can use the following command:

sudo apt-get -y autoremove --purge dhall

References

Summary

In this tutorial we learn how to install dhall package on Ubuntu 20.04 using different package management tools: apt, apt-get and aptitude.