From cef14936b948dbc38b95ffd620e697845c7b2be8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 20 Jan 2025 21:58:15 +0100
Subject: [PATCH] [kernel] Slightly changes the warning when modifying the
filename of a session.
Prints the relativized filepath instead of the complete path.
---
src/kernel_internals/runtime/special_hooks.ml | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/runtime/special_hooks.ml b/src/kernel_internals/runtime/special_hooks.ml
index b0c836e186..1949120e83 100644
--- a/src/kernel_internals/runtime/special_hooks.ml
+++ b/src/kernel_internals/runtime/special_hooks.ml
@@ -156,10 +156,11 @@ let save_binary error_extension =
| None -> filename
| Some err_ext ->
let s = (filename:>string) ^ err_ext in
+ let path = Filepath.Normalized.of_string s in
Kernel.warning
"attempting to save on non-zero exit code: \
- modifying filename into `%s'." s;
- Filepath.Normalized.of_string s
+ modifying filename into `%s'." (Filepath.relativize s);
+ path
in
try
Project.save_all realname
--
GitLab