dev-prompt package repository

github.com/seraphx2/dev-prompt — command-palette overlay for launching dev repositories.
Signing key: dev-prompt.asc (E3C07CD21A9A9BA5).

Updates arrive through your normal apt / dnf / pacman -Syu.

Debian / Ubuntu / Mint

curl -fsSL https://seraphx2.github.io/dev-prompt/dev-prompt.asc | sudo gpg --dearmor -o /usr/share/keyrings/dev-prompt.gpg
echo "deb [signed-by=/usr/share/keyrings/dev-prompt.gpg] https://seraphx2.github.io/dev-prompt/deb stable main" \
  | sudo tee /etc/apt/sources.list.d/dev-prompt.list
sudo apt update && sudo apt install dev-prompt

Fedora / RHEL

sudo tee /etc/yum.repos.d/dev-prompt.repo <<'EOF'
[dev-prompt]
name=dev-prompt
baseurl=https://seraphx2.github.io/dev-prompt/rpm
enabled=1
gpgcheck=1
gpgkey=https://seraphx2.github.io/dev-prompt/dev-prompt.asc
EOF
sudo dnf install dev-prompt

Arch / CachyOS / Manjaro

Import the key, then add the repo to /etc/pacman.conf:

curl -fsSL https://seraphx2.github.io/dev-prompt/dev-prompt.asc | sudo pacman-key --add -
sudo pacman-key --lsign-key E3C07CD21A9A9BA5

sudo tee -a /etc/pacman.conf <<'EOF'

[dev-prompt]
SigLevel = Required
Server = https://seraphx2.github.io/dev-prompt/arch
EOF
sudo pacman -Sy dev-prompt

Flatpak — any distro

One-click: open io.github.seraphx2.devprompt.flatpakref in your software centre. Or from a terminal:

flatpak remote-add --if-not-exists --user dev-prompt https://seraphx2.github.io/dev-prompt/dev-prompt.flatpakrepo
flatpak install --user dev-prompt io.github.seraphx2.devprompt
flatpak run io.github.seraphx2.devprompt

The GNOME 50 runtime is pulled from Flathub — add it first if you haven't: flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepo. Updates: flatpak update.