diff options
-rw-r--r-- | configs/.profile | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/configs/.profile b/configs/.profile deleted file mode 100644 index 2237bb144513..000000000000 --- a/configs/.profile +++ /dev/null @@ -1,22 +0,0 @@ -# Some programs read from ~/.profile for values. It's best to set environment -# variables here instead of in ~/.zshrc or similar files, which are sourced -# everytime a new shell is created. The ~/.profile, on the other hand, is -# typically sourced only once at login. - -# Taken from the EXWM configuration documentation. -if [ -z "$DISPLAY" -a "$(tty)" = '/dev/tty5' ]; then - exec xinit -- vt05 -fi - -# This fixes nixpkgs that rely on glibc-2.27, which allegedly breaks locale -# issues. -# See this thread for more details: https://github.com/NixOS/nixpkgs/issues/8398 -export LOCALE_ARCHIVE="$(readlink ~/.nix-profile/lib/locale)/locale-archive" - -# Set environment variables for Nix. Don't run this for systems running NixOS. -# TODO: Learn why I can't use the variables from ~/briefcase/.envrc. -case $(hostname) in - zeno.lon.corp.google.com) . ~/.nix-profile/etc/profile.d/nix.sh;; - seneca) . ~/.nix-profile/etc/profile.d/nix.sh;; - wpcarro.c.googlers.com) . ~/.nix-profile/etc/profile.d/nix.sh;; -esac |