Delete .profile
I'm managing this in a separate, work-specific repository.
This commit is contained in:
parent
12bd12434d
commit
bae3ff4378
1 changed files with 0 additions and 22 deletions
|
@ -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
|
Loading…
Reference in a new issue