diff --git a/dot_local/share/applications/.keep b/dot_local/share/applications/.keep
new file mode 100644
index 0000000..e69de29
diff --git a/dot_local/share/applications/coqide.desktop b/dot_local/share/applications/coqide.desktop
new file mode 100644
index 0000000..eec59bb
--- /dev/null
+++ b/dot_local/share/applications/coqide.desktop
@@ -0,0 +1,10 @@
+[Desktop Entry]
+Version=1.0
+Type=Application
+Name=CoqIDE Proof Assistant
+Comment=Graphical interface for the Coq proof assistant
+Exec=/usr/bin/env coqide
+Icon=coqide
+Terminal=false
+StartupNotify=false
+Categories=Development;Science;Math;IDE;GTK;
diff --git a/dot_zshrc b/dot_zshrc
index 56ea646..d60c7d1 100644
--- a/dot_zshrc
+++ b/dot_zshrc
@@ -27,7 +27,7 @@ export DOCKER_HOST=unix://$XDG_RUNTIME_DIR/docker.sock
 source_if_exists $HOME/.cargo/env
 source_if_exists $HOME/.ghcup/env
 
-export PATH="$HOME/.local/bin:$HOME/.local/scripts:$HOME/.dotnet/tools:$PATH:$HOME/go/bin:$HOME/.idris2/bin"
+export PATH="$HOME/.local/bin:$HOME/.local/scripts:$HOME/.dotnet/tools:$PATH:$HOME/go/bin:$HOME/.idris2/bin:$HOME/.opam/default/bin"
 [ -f "${GHCUP_INSTALL_BASE_PREFIX:=$HOME}/.ghcup/env" ] && source "${GHCUP_INSTALL_BASE_PREFIX:=$HOME}/.ghcup/env"
 
 [[ -s /home/michael/.autojump/etc/profile.d/autojump.sh ]] && source /home/michael/.autojump/etc/profile.d/autojump.sh
diff --git a/executable_dot_xinitrc b/executable_dot_xinitrc
new file mode 100644
index 0000000..f2e9abe
--- /dev/null
+++ b/executable_dot_xinitrc
@@ -0,0 +1,6 @@
+#!/bin/bash
+
+xrandr --setprovideroutputsource modesetting NVIDIA-0
+xrandr --auto
+
+exec i3
diff --git a/private_dot_ssh/executable_config b/private_dot_ssh/executable_config
new file mode 100644
index 0000000..5849ec7
--- /dev/null
+++ b/private_dot_ssh/executable_config
@@ -0,0 +1,6 @@
+Host osutech
+    User root
+    HostName 192.81.210.64
+
+# vim: set ft=sshconfig :
+