Delete .profile

I'm managing this in a separate, work-specific repository.

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