From b12fbf426e8b40d60ab81c9d0ac0c1d5ec67201b Mon Sep 17 00:00:00 2001 From: Santiago Lo Coco Date: Thu, 30 Jan 2025 21:34:17 +0100 Subject: [PATCH] Update bash dotfiles --- dotfiles/{.config/shell/profile => .bash_profile} | 1 - dotfiles/.bashrc | 4 ++++ 2 files changed, 4 insertions(+), 1 deletion(-) rename dotfiles/{.config/shell/profile => .bash_profile} (98%) diff --git a/dotfiles/.config/shell/profile b/dotfiles/.bash_profile similarity index 98% rename from dotfiles/.config/shell/profile rename to dotfiles/.bash_profile index 3e67bfb..62df554 100644 --- a/dotfiles/.config/shell/profile +++ b/dotfiles/.bash_profile @@ -57,7 +57,6 @@ export W3M_DIR="$XDG_DATA_HOME"/w3m export PARALLEL_HOME="$XDG_CONFIG_HOME"/parallel export INPUTRC="$XDG_CONFIG_HOME/shell/inputrc" export XINITRC="$XDG_CONFIG_HOME"/X11/xinitrc -export HISTFILE="$XDG_STATE_HOME"/bash/history export PATH="$HOME/.local/bin:$PATH" diff --git a/dotfiles/.bashrc b/dotfiles/.bashrc index dcee09d..a465dc1 100644 --- a/dotfiles/.bashrc +++ b/dotfiles/.bashrc @@ -1,5 +1,9 @@ #!/bin/sh +export HISTFILE="$XDG_STATE_HOME"/bash/history +export HISTSIZE=10000000 +export HISTFILESIZE=10000000 + if [ -f "${XDG_CONFIG_HOME:-$HOME/.config}/shell/aliasrc" ]; then source "${XDG_CONFIG_HOME:-$HOME/.config}/shell/aliasrc" fi