From b532b6a0df719563c559fced9952d0d750a9c019 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Tue, 14 Oct 2025 18:24:20 +0300
Subject: [PATCH 1/6] become fix

---
 roles/dev/tasks/haskell.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/roles/dev/tasks/haskell.yml b/roles/dev/tasks/haskell.yml
index ffc3b80..14e2f7a 100644
--- a/roles/dev/tasks/haskell.yml
+++ b/roles/dev/tasks/haskell.yml
@@ -1,4 +1,5 @@
 - name: installing hlint # TODO: install by cabal (?)
+  become: true
   ansible.builtin.dnf5:
     name:
       - hlint

From 7188913d7342049ad4b4086568f3d7b6cfaa243d Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Tue, 14 Oct 2025 18:33:34 +0300
Subject: [PATCH 2/6] ocaml: fix

---
 roles/dev/tasks/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/roles/dev/tasks/main.yml b/roles/dev/tasks/main.yml
index 9350b73..c33477b 100644
--- a/roles/dev/tasks/main.yml
+++ b/roles/dev/tasks/main.yml
@@ -14,7 +14,7 @@
   when: "'haskell' in tools"
 
 - name: OCaml dev environment
-  ansible.builtin.import_tasks: haskell.yml
+  ansible.builtin.import_tasks: ocaml.yml
   when: "'ocaml' in tools"
 
 - name: Coq dev environment

From 1b1c3d13c115f5bd3aa3289de6bdc9c33bc658f8 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Tue, 14 Oct 2025 18:46:12 +0300
Subject: [PATCH 3/6] opam install fix

---
 roles/dev/tasks/ocaml.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/roles/dev/tasks/ocaml.yml b/roles/dev/tasks/ocaml.yml
index 0e0dc8f..065cba0 100644
--- a/roles/dev/tasks/ocaml.yml
+++ b/roles/dev/tasks/ocaml.yml
@@ -7,7 +7,12 @@
       - gmp-devel
     state: latest
 
-- name: "Installing coq lsp: pin version"
+- name: Initializing opam
+  ansible.builtin.command:
+    cmd: opam init
+  changed_when: false
+
+- name: Creating opam default switch (5.3.0)
   ansible.builtin.command:
     cmd: opam switch create default 5.3.0
   changed_when: false

From d3e5061f02ae1b5c208469516a19fa88ae5a5363 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Tue, 14 Oct 2025 18:59:46 +0300
Subject: [PATCH 4/6] opam: ignore errors

---
 roles/dev/tasks/coq.yml   | 2 ++
 roles/dev/tasks/ocaml.yml | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/roles/dev/tasks/coq.yml b/roles/dev/tasks/coq.yml
index 8ccb03c..c9e413a 100644
--- a/roles/dev/tasks/coq.yml
+++ b/roles/dev/tasks/coq.yml
@@ -11,6 +11,7 @@
   environment:
     OPAMSWITCH: default
   changed_when: false
+  ignore_errors: true
 
 - name: "Installing coq lsp: lsp install"
   ansible.builtin.command:
@@ -18,6 +19,7 @@
   environment:
     OPAMSWITCH: default
   changed_when: false
+  ignore_errors: true
 
 - name: Downloading vscode coq lsp extension
   ansible.builtin.get_url:
diff --git a/roles/dev/tasks/ocaml.yml b/roles/dev/tasks/ocaml.yml
index 065cba0..fe2d03f 100644
--- a/roles/dev/tasks/ocaml.yml
+++ b/roles/dev/tasks/ocaml.yml
@@ -11,11 +11,13 @@
   ansible.builtin.command:
     cmd: opam init
   changed_when: false
+  ignore_errors: true
 
 - name: Creating opam default switch (5.3.0)
   ansible.builtin.command:
     cmd: opam switch create default 5.3.0
   changed_when: false
+  ignore_errors: true
 
 # update fish path
 - name: Get programs list to check fish presence

From d711708a499a5d57f1dcc53539a2d893d325af26 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Tue, 14 Oct 2025 20:11:14 +0300
Subject: [PATCH 5/6] helix reple config

---
 roles/dotfiles/files/.config/helix/config.toml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/roles/dotfiles/files/.config/helix/config.toml b/roles/dotfiles/files/.config/helix/config.toml
index efc064b..1cd723c 100644
--- a/roles/dotfiles/files/.config/helix/config.toml
+++ b/roles/dotfiles/files/.config/helix/config.toml
@@ -29,3 +29,11 @@ mouse = false
 
 [keys.normal.space]
 l = ":toggle lsp.display-inlay-hints"
+
+# repl: reple
+[keys.normal]
+"A-ret" = ":pipe-to reple eval"
+
+# repl: reple
+[keys.select]
+"A-ret" = ":pipe-to reple eval"

From 0003fcc5376f2025b472326bc81eb466229c6e60 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Tue, 14 Oct 2025 20:14:43 +0300
Subject: [PATCH 6/6] helix config fix

---
 roles/dotfiles/files/.config/helix/config.toml | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/roles/dotfiles/files/.config/helix/config.toml b/roles/dotfiles/files/.config/helix/config.toml
index 1cd723c..35a4850 100644
--- a/roles/dotfiles/files/.config/helix/config.toml
+++ b/roles/dotfiles/files/.config/helix/config.toml
@@ -22,18 +22,12 @@ mouse = false
 "ret" = ":w"
 "S-left"="jump_view_left"
 "S-right"="jump_view_right"
+"A-ret" = ":pipe-to reple eval"
 
 [keys.select]
 "ы" = "yank"
 "д" = "delete_selection"
+"A-ret" = ":pipe-to reple eval"
 
 [keys.normal.space]
 l = ":toggle lsp.display-inlay-hints"
-
-# repl: reple
-[keys.normal]
-"A-ret" = ":pipe-to reple eval"
-
-# repl: reple
-[keys.select]
-"A-ret" = ":pipe-to reple eval"