From 54fe5aa07d39f0d80ecdc565c20d6dba302891b7 Mon Sep 17 00:00:00 2001
From: Hyacinthe Cartiaux <hyacinthe.cartiaux@free.fr>
Date: Mon, 6 Feb 2023 21:56:42 +0100
Subject: [PATCH] [bash,ksh] Initial ksh support

---
 bash/profile | 5 ++++-
 ksh/kshrc    | 2 ++
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 ksh/kshrc

diff --git a/bash/profile b/bash/profile
index 9d4184f..1849bac 100755
--- a/bash/profile
+++ b/bash/profile
@@ -2,4 +2,7 @@
 # ~/.profile
 #
 
-[[ -f ~/.bashrc ]] && . ~/.bashrc
+SHELL_NAME="$(basename $SHELL)"
+
+[[ "$SHELL_NAME" == "ksh"  && -f ~/.kshrc  ]] && export ENV="$HOME/.kshrc"
+[[ "$SHELL_NAME" == "bash" && -f ~/.bashrc ]] && . ~/.bashrc
diff --git a/ksh/kshrc b/ksh/kshrc
new file mode 100644
index 0000000..a8d167f
--- /dev/null
+++ b/ksh/kshrc
@@ -0,0 +1,2 @@
+HISTFILE="$HOME/.ksh_history"
+HISTSIZE=10000