Changeset 5211578 in dotfiles for guix/.dotfiles/.bash_profile

Timestamp:

Sep 25, 2024, 11:43:27 PM (7 weeks ago)

Author:

Mikhail Kirillov <w96k@…>

Branches:

master

Children:

ead573e

Parents:

fc6fa17

Message:

Update dotfiles

File:

• guix/.dotfiles/.bash_profile (modified) (1 diff)

guix/.dotfiles/.bash_profile

@@ -6 +6 @@
 
 # Prepend setuid programs.
-export PATH=/run/setuid-programs:$PATH
+export PATH=/run/setuid-programs:$PATH:$HOME/.bin:$PATH
+export EMACSLOADPATH=$EMACSLOADPATH:$HOME/.emacs.d/elpa
+export GTAGSLIBPATH=$GTAGSLIBPATH:$HOME/.guix-home/profile/include
 
-export PATH=$HOME/.bin:$PATH
+# export https_proxy=https://localhost:9250
+export http_proxy=https://localhost:9250
+export SOCKS_SERVER=localhost:9050
 
-export EMACSLOADPATH=$EMACSLOADPATH:$HOME/.emacs.d/elpa
+# Set up the system, user profile, and related variables.
+# /etc/profile will be sourced by bash automatically
+# Set up the home environment profile.
+if [ -f ~/.profile ]; then source ~/.profile; fi
+
+# Honor per-interactive-shell startup file
+if [ -f ~/.bashrc ]; then source ~/.bashrc; fi