How To Install gedit-developer-plugins on Ubuntu 18.04
Introduction
In this tutorial we learn how to install gedit-developer-plugins
on Ubuntu 18.04.
What is gedit-developer-plugins
gedit-developer-plugins is:
gedit-developer-plugins (GDP) are a set of plugins for gedit that provide additional editing features for software development. GDP provides:
- Multi-file find and replace Directories and file types can be specified. Regular expressions are supported.
- Syntax completion Python completion using the file’s imports and definitions. Simple word completion based on the words in the file. XML tag and attribute completions based on document structure.
- Formatting Format paragraphs, lists, and imports. Reformat test using regular expressions. Check the syntax and style of Python, XML, CSS, and plain text. Check and reformat Python doctests and CSS.
- Project management via Bazaar DVCS integrates bzr-gtk to show status, tags, annotations, visualize, commit, merge, and push. Open files changes in the branch.
There are three methods to install gedit-developer-plugins
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 gedit-developer-plugins Using apt-get
Update apt database with apt-get
using the following command.
sudo apt-get update
After updating apt database, We can install gedit-developer-plugins
using apt-get
by running the following command:
sudo apt-get -y install gedit-developer-plugins
Install gedit-developer-plugins Using apt
Update apt database with apt
using the following command.
sudo apt update
After updating apt database, We can install gedit-developer-plugins
using apt
by running the following command:
sudo apt -y install gedit-developer-plugins
Install gedit-developer-plugins 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 gedit-developer-plugins
using aptitude
by running the following command:
sudo aptitude -y install gedit-developer-plugins
How To Uninstall gedit-developer-plugins on Ubuntu 18.04
To uninstall only the gedit-developer-plugins
package we can use the following command:
sudo apt-get remove gedit-developer-plugins
Uninstall gedit-developer-plugins And Its Dependencies
To uninstall gedit-developer-plugins
and its dependencies that are no longer needed by Ubuntu 18.04, we can use the command below:
sudo apt-get -y autoremove gedit-developer-plugins
Remove gedit-developer-plugins Configurations and Data
To remove gedit-developer-plugins
configuration and data from Ubuntu 18.04 we can use the following command:
sudo apt-get -y purge gedit-developer-plugins
Remove gedit-developer-plugins configuration, data, and all of its dependencies
We can use the following command to remove gedit-developer-plugins
configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge gedit-developer-plugins
References
Summary
In this tutorial we learn how to install gedit-developer-plugins
package on Ubuntu 18.04 using different package management tools: apt
, apt-get
and aptitude
.