mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-01 15:11:25 +00:00
96190535e5
This reverts commit 095fe5b43d.
Pointless renames considered harmful. All they do is force people to
spend extra work updating their configs for no benefit, and hindering
the ability to switch between unstable and stable versions of NixOS.
Like, what was the value of having the "nixos." there? I mean, by
definition anything in a NixOS module has something to do with NixOS...
61 lines
2.0 KiB
Nix
61 lines
2.0 KiB
Nix
# This module defines a standard configuration for NixOS shells.
|
|
|
|
{ config, lib, ... }:
|
|
|
|
with lib;
|
|
|
|
{
|
|
|
|
config = {
|
|
|
|
environment.shellAliases =
|
|
{ ls = "ls --color=tty";
|
|
ll = "ls -l";
|
|
l = "ls -alh";
|
|
};
|
|
|
|
environment.shellInit =
|
|
''
|
|
# Set up the per-user profile.
|
|
mkdir -m 0755 -p "$NIX_USER_PROFILE_DIR"
|
|
if [ "$(stat --printf '%u' "$NIX_USER_PROFILE_DIR")" != "$(id -u)" ]; then
|
|
echo "WARNING: bad ownership on $NIX_USER_PROFILE_DIR, should be $(id -u)" >&2
|
|
fi
|
|
|
|
if [ -w "$HOME" ]; then
|
|
if ! [ -L "$HOME/.nix-profile" ]; then
|
|
if [ "$USER" != root ]; then
|
|
ln -s "$NIX_USER_PROFILE_DIR/profile" "$HOME/.nix-profile"
|
|
else
|
|
# Root installs in the system-wide profile by default.
|
|
ln -s /nix/var/nix/profiles/default "$HOME/.nix-profile"
|
|
fi
|
|
fi
|
|
|
|
# Subscribe the root user to the NixOS channel by default.
|
|
if [ "$USER" = root -a ! -e "$HOME/.nix-channels" ]; then
|
|
echo "${config.system.defaultChannel} nixos" > "$HOME/.nix-channels"
|
|
fi
|
|
|
|
# Create the per-user garbage collector roots directory.
|
|
NIX_USER_GCROOTS_DIR="/nix/var/nix/gcroots/per-user/$USER"
|
|
mkdir -m 0755 -p "$NIX_USER_GCROOTS_DIR"
|
|
if [ "$(stat --printf '%u' "$NIX_USER_GCROOTS_DIR")" != "$(id -u)" ]; then
|
|
echo "WARNING: bad ownership on $NIX_USER_GCROOTS_DIR, should be $(id -u)" >&2
|
|
fi
|
|
|
|
# Set up a default Nix expression from which to install stuff.
|
|
if [ ! -e "$HOME/.nix-defexpr" -o -L "$HOME/.nix-defexpr" ]; then
|
|
rm -f "$HOME/.nix-defexpr"
|
|
mkdir -p "$HOME/.nix-defexpr"
|
|
if [ "$USER" != root ]; then
|
|
ln -s /nix/var/nix/profiles/per-user/root/channels "$HOME/.nix-defexpr/channels_root"
|
|
fi
|
|
fi
|
|
fi
|
|
'';
|
|
|
|
};
|
|
|
|
}
|