mirror of
https://github.com/basecamp/omarchy.git
synced 2025-07-27 12:19:24 +00:00
Additional keyservers (#180)
* Adds additional keyservers and faster timeout * forgot to restart the dirmngr! * remove openpgp since doesn't work for spotify, dropbox etc
This commit is contained in:
7
default/gpg/dirmngr.conf
Normal file
7
default/gpg/dirmngr.conf
Normal file
@ -0,0 +1,7 @@
|
|||||||
|
keyserver hkps://keyserver.ubuntu.com
|
||||||
|
keyserver hkps://pgp.surfnet.nl
|
||||||
|
keyserver hkps://keys.mailvelope.com
|
||||||
|
keyserver hkps://keyring.debian.org
|
||||||
|
keyserver hkps://pgp.mit.edu
|
||||||
|
|
||||||
|
connect-quick-timeout 4
|
@ -4,6 +4,13 @@ cp -R ~/.local/share/omarchy/config/* ~/.config/
|
|||||||
# Ensure application directory exists for update-desktop-database
|
# Ensure application directory exists for update-desktop-database
|
||||||
mkdir -p ~/.local/share/applications
|
mkdir -p ~/.local/share/applications
|
||||||
|
|
||||||
|
# Setup GPG configuration with multiple keyservers for better reliability
|
||||||
|
sudo mkdir -p /etc/gnupg
|
||||||
|
sudo cp ~/.local/share/omarchy/default/gpg/dirmngr.conf /etc/gnupg/
|
||||||
|
sudo chmod 644 /etc/gnupg/dirmngr.conf
|
||||||
|
sudo gpgconf --kill dirmngr || true
|
||||||
|
sudo gpgconf --launch dirmngr || true
|
||||||
|
|
||||||
# Use default bashrc from Omarchy
|
# Use default bashrc from Omarchy
|
||||||
echo "source ~/.local/share/omarchy/default/bash/rc" >~/.bashrc
|
echo "source ~/.local/share/omarchy/default/bash/rc" >~/.bashrc
|
||||||
|
|
||||||
|
6
migrations/1752535341.sh
Normal file
6
migrations/1752535341.sh
Normal file
@ -0,0 +1,6 @@
|
|||||||
|
echo "Setting up GPG configuration with multiple keyservers for better reliability"
|
||||||
|
sudo mkdir -p /etc/gnupg
|
||||||
|
sudo cp ~/.local/share/omarchy/default/gpg/dirmngr.conf /etc/gnupg/
|
||||||
|
sudo chmod 644 /etc/gnupg/dirmngr.conf
|
||||||
|
sudo gpgconf --kill dirmngr || true
|
||||||
|
sudo gpgconf --launch dirmngr || true
|
Reference in New Issue
Block a user