2013-09-18 04:18:34 +01:00
|
|
|
# This module defines a standard configuration for NixOS shells.
|
2012-07-25 15:53:46 +01:00
|
|
|
|
2014-04-14 15:26:48 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
2012-07-25 15:53:46 +01:00
|
|
|
|
2014-04-14 15:26:48 +01:00
|
|
|
with lib;
|
2012-07-25 15:53:46 +01:00
|
|
|
|
2013-09-18 04:18:34 +01:00
|
|
|
let
|
|
|
|
|
|
|
|
cfg = config.environment;
|
|
|
|
|
|
|
|
in
|
|
|
|
|
2012-07-25 15:53:46 +01:00
|
|
|
{
|
2013-09-18 04:18:34 +01:00
|
|
|
|
|
|
|
config = {
|
|
|
|
|
|
|
|
environment.shellAliases =
|
|
|
|
{ ls = "ls --color=tty";
|
|
|
|
ll = "ls -l";
|
|
|
|
l = "ls -alh";
|
2012-07-25 15:53:46 +01:00
|
|
|
};
|
2013-09-18 04:18:34 +01:00
|
|
|
|
|
|
|
environment.shellInit =
|
|
|
|
''
|
|
|
|
# Set up the per-user profile.
|
|
|
|
mkdir -m 0755 -p $NIX_USER_PROFILE_DIR
|
|
|
|
if test "$(stat --printf '%u' $NIX_USER_PROFILE_DIR)" != "$(id -u)"; then
|
|
|
|
echo "WARNING: bad ownership on $NIX_USER_PROFILE_DIR" >&2
|
|
|
|
fi
|
|
|
|
|
2014-02-20 18:34:12 +00:00
|
|
|
if test -w $HOME; then
|
|
|
|
if ! test -L $HOME/.nix-profile; then
|
|
|
|
if test "$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
|
2013-09-18 04:18:34 +01:00
|
|
|
|
2014-02-20 18:34:12 +00:00
|
|
|
# Subscribe the root user to the NixOS channel by default.
|
|
|
|
if [ "$USER" = root -a ! -e $HOME/.nix-channels ]; then
|
2018-04-06 02:19:06 +01:00
|
|
|
echo "${config.system.nixos.defaultChannel} nixos" > $HOME/.nix-channels
|
2014-02-20 18:34:12 +00:00
|
|
|
fi
|
2013-09-18 04:18:34 +01:00
|
|
|
|
2014-02-20 18:34:12 +00:00
|
|
|
# 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 test "$(stat --printf '%u' $NIX_USER_GCROOTS_DIR)" != "$(id -u)"; then
|
|
|
|
echo "WARNING: bad ownership on $NIX_USER_GCROOTS_DIR" >&2
|
|
|
|
fi
|
2013-09-18 04:18:34 +01:00
|
|
|
|
2014-02-20 18:34:12 +00:00
|
|
|
# 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
|
2015-04-20 12:03:04 +01:00
|
|
|
mkdir -p $HOME/.nix-defexpr
|
2014-02-20 18:34:12 +00:00
|
|
|
if [ "$USER" != root ]; then
|
|
|
|
ln -s /nix/var/nix/profiles/per-user/root/channels $HOME/.nix-defexpr/channels_root
|
|
|
|
fi
|
|
|
|
fi
|
2013-09-18 04:18:34 +01:00
|
|
|
fi
|
2012-07-25 15:53:46 +01:00
|
|
|
'';
|
|
|
|
|
|
|
|
};
|
2013-09-18 04:18:34 +01:00
|
|
|
|
2012-07-25 15:53:46 +01:00
|
|
|
}
|