From 69b6e27afb2aaa0f0051dde6bebbcba6b6d32e65 Mon Sep 17 00:00:00 2001 From: Guillaume Raffy Date: Fri, 6 Jun 2025 14:46:19 +0200 Subject: [PATCH] found a more self-explanatory name for the ticket details repository: `/mnt/store.ipr/InstallProgs/ipr/tickets-details` instead of `/mnt/store.ipr/InstallProgs/ipr/tickets` nb: change made on 02/07/2024 --- home/bin/ticman | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/bin/ticman b/home/bin/ticman index 73dea60..4dff8f3 100755 --- a/home/bin/ticman +++ b/home/bin/ticman @@ -153,7 +153,7 @@ def main(): args = parser.parse_args() - db_location = TicketDbLocation(ssh_user='graffy', ssh_host_fqdn='store.ipr.univ-rennes.fr', db_root_path=Path('/mnt/store.ipr/InstallProgs/ipr/tickets')) + db_location = TicketDbLocation(ssh_user='graffy', ssh_host_fqdn='store.ipr.univ-rennes.fr', db_root_path=Path('/mnt/store.ipr/InstallProgs/ipr/tickets-details')) tic_man = TicketManager(db_location, tickets_local_path=args.workspace_dir) if args.cmd == 'list':