Package Installation

Debian / Ubuntu (apt):

First get the Elide gpg key:

bash

 curl -fsSL https://keys.elide.dev/gpg.key | sudo gpg --dearmor -o /usr/share/keyrings/elide.gpg

Then set up the repository for amd64 architecture:

bash

 echo "deb [arch=amd64 signed-by=/usr/share/keyrings/elide.gpg] https://dl.elide.dev nightly main" \
  | sudo tee /etc/apt/sources.list.d/elide.list

Or for arm64/aarch64:

bash

 echo "deb [arch=arm64 signed-by=/usr/share/keyrings/elide.gpg] https://dl.elide.dev nightly main" \
  | sudo tee /etc/apt/sources.list.d/elide.list

Finally install Elide with apt:

bash

 sudo apt update && sudo apt install elide