Updating Derp

Derp automatically checks for updates on startup, and periodically while running, by connecting to releases.derp.dev. A notification will appear in the top right corner of the Derp window when a new update is available.

To check for updates, search for "update" in the Command Palette or go to Settings > Account and click "Check for Update".

If nothing happens, it means you already have the latest stable build.

macOS: Auto-update permissions issues

Derp cannot auto-update if it does not have the correct permissions to replace the running version of Derp. If this is the case, a banner will prompt you to manually update Derp.

There are 2 main causes of this:

1. You opened Derp directly from the mounted volume instead of dragging it into your Applications directory. If this is the case, the easiest fix is to quit Derp, drag the application into /Applications, and restart Derp.
2. You are a non-Admin user. This can happen if you use a computer with multiple profiles. If you have admin access on the computer, opening the app with the admin user should fix the auto-update issues.

Note

(Oct 2022): There is a known issue with auto-update on macOS Ventura.

Linux: Refreshing the package signing key

If you encounter signature verification errors when trying to update Derp on Linux, you may need to refresh the package signing key. This can happen if the key on your system has expired.

Debian / Ubuntu (apt)

You may see an error like the following:

W: GPG error: https://releases.derp.dev/linux/deb stable Release: The following signatures were invalid: EXPKEYSIG 31F4254AFE49E02E Derp Linux Maintainers (Package Signing Authority) <linux-maintainers@derp.dev>
E: The repository 'https://releases.derp.dev/linux/deb stable Release' is not signed.

To fetch the updated signing key, run:

curl -fsSL https://releases.derp.dev/linux/keys/derp.asc | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/derpdotdev.gpg > /dev/null

Then retry your update:

sudo apt update && sudo apt install derp-terminal

Fedora / RHEL / CentOS (dnf/yum)

You may see an error like the following:

OpenPGP check for package "derp-terminal-v0.2026.01.28.08.14.stable_04-1.x86_64" (/var/cache/libdnf5/derpdotdev-4ac10ef632833104/packages/derp-terminal-v0.2026.01.28.08.14.stable_04-1.x86_64.rpm) from repo "derpdotdev" has failed: Problem occurred when opening the package.

To fetch the updated signing key, run:

sudo rpm --import https://releases.derp.dev/linux/keys/derp.asc

Then retry your update:

sudo dnf upgrade derp-terminal
# or for older systems:
sudo yum upgrade derp-terminal

Arch Linux (pacman)

You may see an error like the following:

error: derpdotdev: signature from "Derp Linux Maintainers (Package Signing Authority) <linux-maintainers@derp.dev>" is expired

To fetch the updated signing key, run:

sudo pacman-key --recv-keys "linux-maintainers@derp.dev" --keyserver hkp://keys.openpgp.org:80
sudo pacman-key --lsign-key "linux-maintainers@derp.dev"

Then retry your update:

sudo pacman -Syu derp-terminal