Ben Leppke - Package Repository

Personal package repository: flatpak, deb, rpm, arch.

Flatpak

Set up the repository
flatpak remote-add --if-not-exists --user benleppke https://repo.benleppke.com/benleppke.flatpakrepo
PackageLatestSource
6.1.1 android-messages
flatpak install --user benleppke com.benleppke.AndroidMessages
18.6.4 keeper
flatpak install --user benleppke com.benleppke.KeeperPasswordManager

deb

Set up the repository
wget -qO- https://repo.benleppke.com/GPG-KEY-benleppke.asc | sudo gpg --dearmor -o /usr/share/keyrings/benleppke.gpg
echo 'deb [signed-by=/usr/share/keyrings/benleppke.gpg] https://repo.benleppke.com/deb stable main' | sudo tee /etc/apt/sources.list.d/benleppke.list
sudo apt update
PackageLatestSource
0.2.0 rounded-window-corners
sudo apt install gnome-extension-rounded-window-corners
sudo apt install gnome-extension-rounded-window-corners=0.1.0
0.1.0
0.4.0 tiling-shell
sudo apt install gnome-extension-tiling-shell
sudo apt install gnome-extension-tiling-shell=0.3.2
0.3.2
sudo apt install gnome-extension-tiling-shell=0.3.1
0.3.1
sudo apt install gnome-extension-tiling-shell=0.3.0
0.3.0
sudo apt install gnome-extension-tiling-shell=0.2.0
0.2.0
sudo apt install gnome-extension-tiling-shell=0.1.1
0.1.1
sudo apt install gnome-extension-tiling-shell=0.1.0
0.1.0
0.6.3 nautilus-custom-icon-name
sudo apt install nautilus-custom-icon-name
sudo apt install nautilus-custom-icon-name=0.6.2
0.6.2
sudo apt install nautilus-custom-icon-name=0.6.1
0.6.1
sudo apt install nautilus-custom-icon-name=0.6.0
0.6.0
sudo apt install nautilus-custom-icon-name=0.5.3
0.5.3
sudo apt install nautilus-custom-icon-name=0.5.2
0.5.2
sudo apt install nautilus-custom-icon-name=0.5.1
0.5.1
0.1.0 papirus-folder-icons
sudo apt install papirus-folder-icons

rpm

Set up the repository
# dnf5 (Fedora >= 41)
sudo dnf config-manager addrepo --from-repofile=https://repo.benleppke.com/benleppke.repo
# dnf4 (Fedora <= 40, RHEL <= 9)
sudo dnf config-manager --add-repo=https://repo.benleppke.com/benleppke.repo
# zypper (openSUSE)
sudo zypper addrepo https://repo.benleppke.com/benleppke.repo
PackageLatestSource
0.2.0 rounded-window-corners
sudo dnf install gnome-extension-rounded-window-corners
sudo zypper install gnome-extension-rounded-window-corners
sudo dnf install gnome-extension-rounded-window-corners-0.1.0
sudo zypper install gnome-extension-rounded-window-corners-0.1.0
0.1.0
0.4.0 tiling-shell
sudo dnf install gnome-extension-tiling-shell
sudo zypper install gnome-extension-tiling-shell
sudo dnf install gnome-extension-tiling-shell-0.3.2
sudo zypper install gnome-extension-tiling-shell-0.3.2
0.3.2
sudo dnf install gnome-extension-tiling-shell-0.3.1
sudo zypper install gnome-extension-tiling-shell-0.3.1
0.3.1
sudo dnf install gnome-extension-tiling-shell-0.3.0
sudo zypper install gnome-extension-tiling-shell-0.3.0
0.3.0
sudo dnf install gnome-extension-tiling-shell-0.2.0
sudo zypper install gnome-extension-tiling-shell-0.2.0
0.2.0
sudo dnf install gnome-extension-tiling-shell-0.1.1
sudo zypper install gnome-extension-tiling-shell-0.1.1
0.1.1
sudo dnf install gnome-extension-tiling-shell-0.1.0
sudo zypper install gnome-extension-tiling-shell-0.1.0
0.1.0
0.6.3 nautilus-custom-icon-name
sudo dnf install nautilus-custom-icon-name
sudo zypper install nautilus-custom-icon-name
sudo dnf install nautilus-custom-icon-name-0.6.2
sudo zypper install nautilus-custom-icon-name-0.6.2
0.6.2
sudo dnf install nautilus-custom-icon-name-0.6.1
sudo zypper install nautilus-custom-icon-name-0.6.1
0.6.1
sudo dnf install nautilus-custom-icon-name-0.6.0
sudo zypper install nautilus-custom-icon-name-0.6.0
0.6.0
sudo dnf install nautilus-custom-icon-name-0.5.3
sudo zypper install nautilus-custom-icon-name-0.5.3
0.5.3
sudo dnf install nautilus-custom-icon-name-0.5.2
sudo zypper install nautilus-custom-icon-name-0.5.2
0.5.2
sudo dnf install nautilus-custom-icon-name-0.5.1
sudo zypper install nautilus-custom-icon-name-0.5.1
0.5.1
0.1.0 papirus-folder-icons
sudo dnf install papirus-folder-icons
sudo zypper install papirus-folder-icons

arch

Set up the repository
wget -qO- https://repo.benleppke.com/GPG-KEY-benleppke.asc | sudo pacman-key --add -
sudo pacman-key --lsign-key 29F4FD2938B368B4B4C52848A7CFA307FF15149E
# Add to /etc/pacman.conf:
[benleppke]
SigLevel = Required DatabaseRequired
Server = https://repo.benleppke.com/arch/os/x86_64/
sudo pacman -Syu
PackageLatestSource
0.2.0 rounded-window-corners
sudo pacman -S gnome-extension-rounded-window-corners
sudo pacman -S gnome-extension-rounded-window-corners=0.1.0
0.1.0
0.4.0 tiling-shell
sudo pacman -S gnome-extension-tiling-shell
sudo pacman -S gnome-extension-tiling-shell=0.3.2
0.3.2
sudo pacman -S gnome-extension-tiling-shell=0.3.1
0.3.1
sudo pacman -S gnome-extension-tiling-shell=0.3.0
0.3.0
sudo pacman -S gnome-extension-tiling-shell=0.2.0
0.2.0
sudo pacman -S gnome-extension-tiling-shell=0.1.1
0.1.1
sudo pacman -S gnome-extension-tiling-shell=0.1.0
0.1.0
0.6.3 nautilus-custom-icon-name
sudo pacman -S nautilus-custom-icon-name
sudo pacman -S nautilus-custom-icon-name=0.6.2
0.6.2
sudo pacman -S nautilus-custom-icon-name=0.6.1
0.6.1
sudo pacman -S nautilus-custom-icon-name=0.6.0
0.6.0
sudo pacman -S nautilus-custom-icon-name=0.5.3
0.5.3
sudo pacman -S nautilus-custom-icon-name=0.5.2
0.5.2
sudo pacman -S nautilus-custom-icon-name=0.5.1
0.5.1
0.1.0 papirus-folder-icons
sudo pacman -S papirus-folder-icons