michael/dotfiles
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

auiop

Browse source
This commit is contained in:
Michael Zhang 2021-02-19 16:05:51 -06:00
parent 3fd3aef074
commit a00899a44b
Signed by: michael
GPG key ID: BDA47A31A3C8EE6B
5 changed files with 23 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
dot_local/share/applications/.keep Normal file
View file

10
dot_local/share/applications/coqide.desktop Normal file
View file

@ -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;

2
dot_zshrc
View file

@ -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

6
executable_dot_xinitrc Normal file
View file

@ -0,0 +1,6 @@
#!/bin/bash
xrandr --setprovideroutputsource modesetting NVIDIA-0
xrandr --auto
exec i3

6
private_dot_ssh/executable_config Normal file
View file

@ -0,0 +1,6 @@
Host osutech
User root
HostName 192.81.210.64
# vim: set ft=sshconfig :