From b6371e2dd42a9d807ec28e62c099e14562a79d74 Mon Sep 17 00:00:00 2001
From: "dth@taiga.ai" <DannyDannyDanny>
Date: Sun, 11 Jun 2023 21:15:29 +0200
Subject: [PATCH] :pushpin: pin fish version

---
 install_fish.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/install_fish.sh b/install_fish.sh
index 8739a69..0c545e2 100644
--- a/install_fish.sh
+++ b/install_fish.sh
@@ -1,9 +1,10 @@
 #!/bin/bash
+FISH_VERSION=3.3.1+ds-3
 
 # I'd like to use fish, please
 echo >&2 "====================================================================="
 echo >&2 " >> installing fish"
-sudo apt-get install -y fish
+sudo apt-get install -y fish=$(FISH_VERSION)
 
 echo >&2 " >>> changing shell to fish"
 sudo chsh -s /usr/bin/fish $USER