From b855ea225258f2c6dd93cda4e5889263280f9573 Mon Sep 17 00:00:00 2001
From: Don Harper <duck@duckland.org>
Date: Sat, 8 Apr 2023 20:22:19 -0500
Subject: [PATCH] workstation/home.nix | fix historyfile name on console

---
 workstation/home.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/workstation/home.nix b/workstation/home.nix
index e47b8ad..678d806 100644
--- a/workstation/home.nix
+++ b/workstation/home.nix
@@ -117,7 +117,7 @@
       enable = true;
       enableCompletion = true;
       enableVteIntegration = false;
-      historyFile = "\$\{HOME\}/.bash_history.\${USER}.\$(hostname -s).\$(tty | sed 's?/dev/pts/??')";
+      historyFile = "\$\{HOME\}/.bash_history.\${USER}.\$(hostname -s).\$(tty | cut -c10-)";
       bashrcExtra =
         ''
           export GOPATH="~/go"