idp-ide on AUR (Arch User Repository)
Last updated: December 25,2024
1. Install "idp-ide" effortlessly via AUR with the help of a helper(YAY)
a. Install YAY (https://github.com/Jguer/yay)
$
sudo pacman -S --needed git base-devel && git clone https://aur.archlinux.org/yay.git && cd yay && makepkg -si
Copied
b. Install idp-ide on Arch using YAY
$
yay -S
idp-ide
Copied
* (Optional) Uninstall idp-ide on Arch using YAY
$
yay -Rns
idp-ide
Copied
2. Manually Install "idp-ide" via AUR
a. Ensure you have the base development tools and git installed with:
$
sudo pacman -S --needed
base-devel git
Copied
b. Clone idp-ide's git locally
$
git clone https://aur.archlinux.org/idp-ide.git
~/idp-ide
Copied
c. Go to ~/idp-ide folder and install it
$
cd
~/idp-ide
Copied
$
makepkg -si
Copied
3. Information about the idp-ide package on Arch User Repository (AUR)
ID: 790594
Name: idp-ide
PackageBaseID: 126099
PackageBase: idp-ide
Version: 2.0.1-5
Description: IDP Knowledge Base System editor
URL: https://dtai.cs.kuleuven.be/software/idp/try
NumVotes: 1
Popularity: 0
OutOfDate:
Maintainer: VadeveSi
Submitter: bserckx
FirstSubmitted: 1507126082
LastModified: 1599892144
URLPath: /cgit/aur.git/snapshot/idp-ide.tar.gz
Name: idp-ide
PackageBaseID: 126099
PackageBase: idp-ide
Version: 2.0.1-5
Description: IDP Knowledge Base System editor
URL: https://dtai.cs.kuleuven.be/software/idp/try
NumVotes: 1
Popularity: 0
OutOfDate:
Maintainer: VadeveSi
Submitter: bserckx
FirstSubmitted: 1507126082
LastModified: 1599892144
URLPath: /cgit/aur.git/snapshot/idp-ide.tar.gz