From 1fe4f059d6d8927772924d922b7d33e5711d345f Mon Sep 17 00:00:00 2001 From: Mehdi Sadeghi Date: Wed, 7 Jul 2021 18:16:43 +0200 Subject: Move bash history to bashrc and add time. --- .profile | 2 -- 1 file changed, 2 deletions(-) (limited to '.profile') diff --git a/.profile b/.profile index c4a6025..a63a4b3 100644 --- a/.profile +++ b/.profile @@ -4,8 +4,6 @@ export LC_TIME=de_DE.UTF-8 export EDITOR=vim export TERM=xterm export HISTSIZE=65535 -export HISTCONTROL=ignoreboth -export PROMPT_COMMAND="history -a;history -n" export PATH=$HOME/.local/bin:$PATH export PATH=$HOME/.local/bin/`hostname`:$PATH -- cgit v1.2.3