mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-22 21:53:32 +00:00
6f03065dce
* Add a slash to the end of $MODULE_DIR, as expected by depmod. (Not that running depmod from the command line is all that useful, since you can't use it to update the tree in the Nix store. But at least commands like "depmod -n" work now.) Reported by Kirill Elagin on IRC. svn path=/nixos/trunk/; revision=33312
63 lines
1.5 KiB
Nix
63 lines
1.5 KiB
Nix
# This module defines global configuration for the Bash shell, in
|
|
# particular /etc/bashrc and /etc/profile.
|
|
|
|
{ config, pkgs, ... }:
|
|
|
|
with pkgs.lib;
|
|
|
|
let
|
|
|
|
options = {
|
|
|
|
environment.shellInit = mkOption {
|
|
default = "";
|
|
example = ''export PATH=/godi/bin/:$PATH'';
|
|
description = "
|
|
Script used to initialized user shell environments.
|
|
";
|
|
type = with pkgs.lib.types; string;
|
|
};
|
|
|
|
};
|
|
|
|
in
|
|
|
|
{
|
|
require = [options];
|
|
|
|
environment.etc =
|
|
[ { # Script executed when the shell starts as a login shell.
|
|
source = pkgs.substituteAll {
|
|
src = ./profile.sh;
|
|
wrapperDir = config.security.wrapperDir;
|
|
shellInit = config.environment.shellInit;
|
|
};
|
|
target = "profile";
|
|
}
|
|
|
|
{ # /etc/bashrc: executed every time a bash starts. Sources
|
|
# /etc/profile to ensure that the system environment is
|
|
# configured properly.
|
|
source = ./bashrc.sh;
|
|
target = "bashrc";
|
|
}
|
|
|
|
{ # Configuration for readline in bash.
|
|
source = ./inputrc;
|
|
target = "inputrc";
|
|
}
|
|
];
|
|
|
|
system.build.binsh = pkgs.bashInteractive;
|
|
|
|
system.activationScripts.binsh = stringAfter [ "stdio" ]
|
|
''
|
|
# Create the required /bin/sh symlink; otherwise lots of things
|
|
# (notably the system() function) won't work.
|
|
mkdir -m 0755 -p /bin
|
|
ln -sfn ${config.system.build.binsh}/bin/sh /bin/.sh.tmp
|
|
mv /bin/.sh.tmp /bin/sh # atomically replace /bin/sh
|
|
'';
|
|
|
|
}
|