From 1f8ef7803e0df423532cf8fbdd6d83250ab52bd6 Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Sun, 4 Jun 2017 15:06:22 +0200
Subject: tv: move bash config to dedicated directory

---
 tv/2configs/bash.nix | 37 -------------------------------------
 1 file changed, 37 deletions(-)
 delete mode 100644 tv/2configs/bash.nix

(limited to 'tv/2configs/bash.nix')

diff --git a/tv/2configs/bash.nix b/tv/2configs/bash.nix
deleted file mode 100644
index 40c0725ed..000000000
--- a/tv/2configs/bash.nix
+++ /dev/null
@@ -1,37 +0,0 @@
-{ config, lib, pkgs, ... }:
-
-with import <stockholm/lib>;
-
-{
-  programs.bash = {
-    interactiveShellInit = ''
-      HISTCONTROL='erasedups:ignorespace'
-      HISTSIZE=65536
-      HISTFILESIZE=$HISTSIZE
-
-      shopt -s checkhash
-      shopt -s histappend histreedit histverify
-      shopt -s no_empty_cmd_completion
-      complete -d cd
-    '';
-    promptInit = ''
-      case $UID in
-        0)
-          PS1='\[\e[1;31m\]\w\[\e[0m\] '
-          ;;
-        ${toString config.krebs.build.user.uid})
-          PS1='\[\e[1;32m\]\w\[\e[0m\] '
-          ;;
-        *)
-          PS1='\[\e[1;35m\]\u \[\e[1;32m\]\w\[\e[0m\] '
-          ;;
-      esac
-      if test -n "$SSH_CLIENT"; then
-        PS1='\[\e[35m\]\h'" $PS1"
-      fi
-      if test -n "$SSH_AGENT_PID"; then
-        PS1="ssh-agent[$SSH_AGENT_PID] $PS1"
-      fi
-    '';
-  };
-}
-- 
cgit v1.2.3