From 15a95846e58496a026ad00a707f049b792611544 Mon Sep 17 00:00:00 2001
From: Julian Prein <druckdev@protonmail.com>
Date: Fri, 1 Dec 2023 03:43:06 +0100
Subject: [PATCH] bash: Increase history file size

My zsh history was overwritten by bash, like it used to be before I
setup the bashrc. How did this happen again?
---
 .config/bash/bashrc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.config/bash/bashrc b/.config/bash/bashrc
index 3673d7c..bd4581d 100644
--- a/.config/bash/bashrc
+++ b/.config/bash/bashrc
@@ -1,4 +1,5 @@
-HISTFILESIZE=100000
+# TODO: Why was zsh_history truncated?
+HISTFILESIZE=999999999
 
 if [[ ! -d "${XDG_DATA_HOME:-$HOME/.local/share}"/bash ]]; then
 	mkdir -p "${XDG_DATA_HOME:-$HOME/.local/share}"/bash