aliases.zsh

source $HOME/Templates/config/.private_names.sh

alias sudo='sudo '

alias o="xdg-open"
alias of='o `fzf`'

alias l.="ls -d .?*"
alias la="ls -A"
alias lla="ls -lAh"
alias psa='ps -A'
alias extr='extract '
alias extrem='extract_and_remove '
alias rg="rg --smart-case"

alias magit='ec -e "(magit-status \"$(pwd)\")"'
alias git---="git checkout --"
alias svnm="svn commit -m"
alias svnc="svnm"

alias zalias="ec ~/.oh-my-zsh/custom/aliases.zsh"
alias brc="ec ~/.bashrc"
alias zrc="ec ~/.zshrc"
alias zshenv="ec ~/.zshenv"
alias srcall="source ~/.oh-my-zsh/custom/aliases.zsh ~/.zshrc ~/.zshenv"

alias ukey="jj programs/key/key/key.ui/build/libs/key-2.11.0-exe.jar"
alias lkey="$HOME/programs/key-use/key/scripts/key"
alias rules="cd ~/programs/key/key/key.core/src/main/resources/de/uka/ilkd/key/proof/rules/"

alias i57adm="ssh -F $HOME/Templates/config/ssh_config_passwd $ssh_workgroup_login"

alias tour='cd $HOME/programs/Tourenplaner && brun ./Tourenplaner'
alias zot="brun $HOME/programs/zotero/zotero"
alias antlr4='java -Xmx500M -cp "/usr/local/lib/antlr-4.7.1-complete.jar:$CLASSPATH" org.antlr.v4.Tool'
alias tla-toolbox="brun $HOME/programs/TLA-toolbox/toolbox"
alias slcverify="$HOME/programs/solc-verify/docker/runsv.sh"
alias grd="./gradlew"
alias kitvpn="sudo openvpn --config $HOME/Templates/config/kit.ovpn --auth-user-pass $HOME/Templates/config/kitvpn-access"
alias jj="java -jar"
alias lmk="latexmk -pdf -pvc -r ~/.config/latexmk/latexmkrc"
alias cc-rm-sync-conflicts="find $HOME/org -type f -name '*sync-conflict*' -exec rm {} +"
alias jscar="java -jar $HOME/projects/Scar/target/scala-3.3.3/Scar-assembly-0.1.0-SNAPSHOT.jar"

# kastel demo mocks
alias scar-capas-check-incorrect="echo 'Role \"any\" can modify Bank.totBal via function Bank.deposit but is not allowed to do so according to access control policy'"
alias scar-capas-check-correct="echo 'Success! No inconsistencies found.'"

function inst() {
  if [[ $1 == *.deb ]]
  then
    sudo dpkg -i $1;
  else
   sudo apt install $1; fi
}

tagebuch() {
  ec -e "(progn (find-file \"~/Sync/tagebuch/2025/25.tex\") (insert-nextday-before-bookmark))"
}

cc-sync-calendars-to-org() {
  # check internet connection
  wget -q --spider http://google.com

  if [ $? -eq 0 ]; then
    download-calendars
    oggi=$(date +%Y%m%d)
    next_month=$(date -d "$oggi+1 month" +%Y%m%d)
    ics2org.py $cal_pers $oggi $next_month &&
    ics2org.py $cal_work $oggi $next_month
  else
    echo "Offline"
  fi
}

suedit() {
    sudo vi $1
}

texwiz-lncs() {
    touch bib.bib
    cp ~/Templates/latex/lncs-js.tex .
    mv lncs-js.tex main.tex
    ec main.tex
}

texwiz-ieee() {
  touch bib.bib
  cp ~/Templates/latex/ieee-js.tex .
  mv ieee-js.tex main.tex
  ec main.tex
}

texwiz-presentation-kit() {
    cp ~/Templates/latex/pres.tex .
    ec pres.tex
}

# Archives
function extract {
  if [ -z "$1" ]; then
    echo "Usage: extract <path/file_name>.<zip|rar|bz2|gz|tar|tbz2|tgz|Z|7z|xz|ex|tar.bz2|tar.gz|tar.xz>"
  else
    if [ -f $1 ]; then
      case $1 in
        *.tar.bz2)   tar xvjf $1    ;;
        *.tar.gz)    tar xvzf $1    ;;
        *.tar.xz)    tar xvJf $1    ;;
        *.lzma)      unlzma $1      ;;
        *.bz2)       bunzip2 $1     ;;
        *.rar)       unrar x -ad $1 ;;
        *.gz)        gunzip $1      ;;
        *.tar)       tar xvf $1     ;;
        *.tbz2)      tar xvjf $1    ;;
        *.tgz)       tar xvzf $1    ;;
        *.zip)       unzip $1       ;;
        *.Z)         uncompress $1  ;;
        *.7z)        7z x $1        ;;
        *.xz)        unxz $1        ;;
        *.exe)       cabextract $1  ;;
        *)           echo "extract: '$1' - unknown archive method" ;;
      esac
    else
      echo "$1 - file does not exist"
    fi
  fi
}

function extract_and_remove {
  extract $1
  rm -f $1
}

function cc-audio-from-video {
  ffmpeg -i $1 -vn \
         -acodec libmp3lame -ac 2 -ab 160k -ar 48000 \
         $2
}

# fzf: fd - cd to selected directory
fd() {
    local dir
    dir=$(find ${1:-.} -path '*/\.*' -prune \
               -o -type d -print 2> /dev/null | fzf +m) &&
        cd "$dir"
}

# cf - fuzzy cd from anywhere
# ex: cf word1 word2 ... (even part of a file name)
# zsh autoload function
cf() {
    cd
    fd
}

# "background run"
function brun {
    nohup $1 > /dev/null 2>&1 &
}

# move, and create dir if it does not already exist
function mvp () {
    dir="$2"
    tmp="$2"; tmp="${tmp: -1}"
    [ "$tmp" != "/" ] && dir="$(dirname "$2")"
    [ -a "$dir" ] ||
        mkdir -p "$dir" &&
            mv "$@"
}

function tbattach { thunderbird -compose "attachment='$(realpath $1)'" }

function crop-dbc {
  ffmpeg -i $1 -filter:v "crop=1400:900:100:200" out.mp4
}

function restart-signal {
  killall signal-desktop
  brun signal-desktop
  disown
}