2024-09-06 00:14:30 +01:00
|
|
|
if [ "$XDG_SESSION_DESKTOP" = "sway" ] ; then
|
|
|
|
|
# https://github.com/swaywm/sway/issues/595
|
|
|
|
|
export _JAVA_AWT_WM_NONREPARENTING=1
|
|
|
|
|
export STUDIO_JDK=/usr/lib/jvm/java-11-openjdk/
|
|
|
|
|
fi
|
2024-09-08 05:21:10 +01:00
|
|
|
|
2024-09-06 00:14:30 +01:00
|
|
|
|
|
|
|
|
# Added by Toolbox App
|
|
|
|
|
export PATH="$PATH:/home/mikec/.local/share/JetBrains/Toolbox/scripts"
|
|
|
|
|
|
2024-10-07 18:02:29 +01:00
|
|
|
|
|
|
|
|
[ -f "/home/mikec/.ghcup/env" ] && . "/home/mikec/.ghcup/env" # ghcup-env
|
