From 80b95fcaab9149466e656430eb4c0041e28ee455 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 6 May 2024 17:07:49 -0500 Subject: Initial commit --- bash_profile | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 bash_profile (limited to 'bash_profile') diff --git a/bash_profile b/bash_profile new file mode 100644 index 0000000..bdf10fc --- /dev/null +++ b/bash_profile @@ -0,0 +1,22 @@ +# 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 +source /run/current-system/profile/etc/profile.d/nix.sh +export PS1="\\A \\e[1m \\W ${GUIX_ENVIRONMENT:+ (+)} \\e(B\\e[m" +export EDITOR="emacsclient -nw" +export TERM="linux" +export TERMINAL="foot" +export GDK_DPI_SCALE="1.5" +export GDK_SCALE="1.5" +export MOZ_ENABLE_WAYLAND="1" +export XCURSOR_THEME="Adwaita" +export XCURSOR_SIZE="32" +export XDG_CURRENT_DESKTOP="wlroots" +export XDG_SESSION_TYPE="hikari" +export PF_INFO="ascii title os host pkgs shell" +export PF_ALIGN="7" +export PF_COLOR="0" -- cgit v1.2.3