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
This commit is contained in:
Guillaume Raffy 2025-06-06 14:46:19 +02:00
parent eba408acf0
commit 69b6e27afb
1 changed files with 1 additions and 1 deletions

View File

@ -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':