12 lines
282 B
Bash
12 lines
282 B
Bash
#!/usr/bin/env zsh
|
|
|
|
# Reload zsh configuration
|
|
alias reload='. ~/.zshrc'
|
|
|
|
# Change Kitty themes
|
|
alias set-dark-theme='kitty +kitten themes Rose-pine-moon'
|
|
alias set-light-theme='kitty +kitten themes Rose-pine-dawn'
|
|
|
|
# MiniZinc
|
|
export BIGBAD="compute.optimisation-2020.cloud.edu.au"
|