add change-theme script

[~bandali/configs] / .profile

diff --git a/.profile b/.profile
index 6bcab82..cebb4cf 100644 (file)
--- a/.profile
+++ b/.profile
@@ -38,10 +38,14 @@ export MAILDIR="$HOME/mail"
 export CVS_RSH="ssh"
 
 if [ -x "$(command -v go)" ]; then
-    export GOPATH="$HOME/src/go"
+    export GOPATH="$HOME/s/go"
     export PATH="$GOPATH/bin:$PATH"
 fi
 
+export _JAVA_AWT_WM_NONREPARENTING=1
+export _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true'
+#export MOZ_USE_XINPUT2=1  # precise scrolling in firefox
+
 # if running bash
 if [ -n "$BASH_VERSION" ]; then
     # include .bashrc if it exists
@@ -75,11 +79,12 @@ for p in $MY_GUIX_PROFILES/*; do
     unset profile
 done
 
-export PATH="$HOME/usr/local/bin:$HOME/.local/bin:$PATH"
+export PATH="$HOME/u/local/bin:$HOME/.local/bin:$PATH"
 
 # start an ssh-agent (with guix's openssh)
 if [ -z "$IS_GUIX_SYSTEM" ]; then
     if ! pgrep -u "$USER" ssh-agent > /dev/null; then
+        rm -f ~/.ssh-agent-thing
         ssh-agent > ~/.ssh-agent-thing
     fi
     if [[ ! "$SSH_AUTH_SOCK" ]]; then
@@ -94,5 +99,3 @@ fi
 # see https://docs.xfce.org/xfce/xfce4-session/advanced#ssh_and_gpg_agents
 # also, MATE does something similar with gnome-keyring-daemon:
 # http://william.shallum.net/random-notes/disabling-gnome-keyring-daemon-ssh-agent-on-mate-desktop
-
-export PATH="$HOME/.cargo/bin:$PATH"