From 560c14effd82cbd01254281021ed7994cb1f57fb Mon Sep 17 00:00:00 2001
From: Jan David <jdno@jdno.dev>
Date: Tue, 14 Nov 2023 13:59:12 +0100
Subject: [PATCH] Install the latest fish shell

The fish shell that ships with the default Ubuntu package repository is
quite outdated, as pointed out in #362. We are now installing it from
the project's PPA to get the latest version.
---
 ansible/roles/dev-desktop/tasks/dependencies.yml | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/ansible/roles/dev-desktop/tasks/dependencies.yml b/ansible/roles/dev-desktop/tasks/dependencies.yml
index 72fa06583..56ca66bff 100644
--- a/ansible/roles/dev-desktop/tasks/dependencies.yml
+++ b/ansible/roles/dev-desktop/tasks/dependencies.yml
@@ -15,7 +15,6 @@
       - build-essential
       - clang
       - cmake
-      - fish
       - gcc-mingw-w64-x86-64 # Allows running `x check --target x86_64-pc-windows-gnu`
       - jq
       - libssl-dev
@@ -60,6 +59,21 @@
       - zsh
     state: present
 
+- name: Uninstall fish from apt
+  apt:
+    name: fish
+    state: absent
+
+- name: Add fish repository
+  apt_repository:
+    repo: ppa:fish-shell/release-3
+
+- name: Install fish
+  apt:
+    name: fish
+    state: present
+    update_cache: yes
+
 - name: Uninstall valgrind from apt
   apt:
     name: valgrind