tiyn/dotfiles
1
0
Fork 0
mirror of https://github.com/tiyn/dotfiles.git synced 2026-01-09 18:49:44 +01:00
Code Issues Projects Releases Wiki Activity

Compare commits

base: tiyn:09c6f7edc3851808d14be74d8f9fc17fa9b9a7e1
Branches Tags
tiyn:master tiyn:server
...
compare: tiyn:de1cca03c746b8465510b1769455d876aaba4576
Branches Tags
tiyn:master tiyn:server

4 Commits
09c6f7edc3 ... de1cca03c7

Author SHA1 Message Date
tiyn
de1cca03c7 nvim: setup compiler with silicon for viper files 2025-11-24 04:26:13 +01:00
tiyn
52171c2361 added vesktop to mimeapps 2025-11-24 01:46:41 +01:00
tiyn
99a12f4339 profile: swap path order 2025-11-24 01:42:15 +01:00
tiyn
5bdaff6248 discord: use vesktop if installed 2025-11-24 01:41:42 +01:00
6 changed files with 20 additions and 1 deletions
Expand all files Collapse all files

1
.config/mimeapps.list
View File

@@ -25,6 +25,7 @@ x-scheme-handler/msteams=teams.desktop
x-scheme-handler/tonsite=org.telegram.desktop.desktop
inode/directory=file-browser.desktop
x-scheme-handler/betterdiscord=discord.desktop
x-scheme-handler/discord=vesktop.desktop
[Added Associations]
application/vnd.openxmlformats-officedocument.wordprocessingml.document=libreoffice-writer.desktop;

2
.local/bin/etc/nvim/compiler
View File

@@ -10,6 +10,7 @@ file=$(readlink -f "$1")
dir=$(dirname "$file")
base="${file%.*}"
basenodir="${1%.*}"
vipercmd="silicon" #"carbon"
cd "$dir" || exit
@@ -25,6 +26,7 @@ textype() { \
}
case "$file" in
*\.vpr) $vipercmd "$file" ;;
*\.ms) refer -PS -e "$file" | groff -me -ms -kept -T pdf > "$base".pdf ;;
*\.mom) refer -PS -e "$file" | groff -mom -kept -T pdf > "$base".pdf ;;
*\.[0-9]) refer -PS -e "$file" | groff -mandoc -T pdf > "$base".pdf ;;

2
.local/bin/etc/viper/carbon Executable file
View File

@@ -0,0 +1,2 @@
#!/bin/sh
java -jar "$VIPER_CARBON" --z3Exe "$VIPER_Z3" --boogieExe "$VIPER_BOOGIE" "$@"

2
.local/bin/etc/viper/silicon Executable file
View File

@@ -0,0 +1,2 @@
#!/bin/sh
java -jar "$VIPER_SILICON" "$@"

6
.local/bin/tools/discord Executable file
View File

@@ -0,0 +1,6 @@
#!/bin/sh
if command -v vesktop >/dev/null 2>&1; then
exec vesktop --force-device-scale-factor=1.2 "$@"
else
exec discord "$@"
fi

8
.profile
View File

@@ -5,7 +5,7 @@
export DISPLAY_SERVER="xorg"
# Adds `~/.local/bin` and all subdirectories to $PATH
export PATH="${PATH}:$(du "${HOME}/.local/bin/" | cut -f2 | tr '\n' ':' | sed 's/:*$//')"
export PATH="$(du "${HOME}/.local/bin/" | cut -f2 | tr '\n' ':' | sed 's/:*$//')":${PATH}
# Add flatpak to path
export PATH="/var/lib/flatpak/exports/bin:${PATH}"
@@ -64,6 +64,12 @@ export PATH="${GOBIN}:${PATH}"
# nim
export PATH="${HOME}/.nimble/bin:${PATH}"
# viper
export VIPER_SILICON=""
export VIPER_CARBON=""
export VIPER_Z3="/bin/z3"
export VIPER_BOOGIE="$HOME/.dotnet/tools/boogie"
# python
export PYENV_ROOT="$HOME/.pyenv"
export PATH="$PYENV_ROOT/bin:$PATH"