From 95d084f71ca84400dd24030ec608c84727bc5405 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sun, 6 Jul 2025 12:48:04 +0200 Subject: Shell command Changelog: Added `shell` command to open a shell prepared for given job --- src/Main.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Main.hs') diff --git a/src/Main.hs b/src/Main.hs index ec03acb..83b0ab3 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -25,6 +25,7 @@ import Command.Extract import Command.JobId import Command.Log import Command.Run +import Command.Shell import Command.Subtree import Config import Output @@ -93,6 +94,7 @@ commands = , SC $ Proxy @ExtractCommand , SC $ Proxy @JobIdCommand , SC $ Proxy @LogCommand + , SC $ Proxy @ShellCommand , SC $ Proxy @SubtreeCommand ] -- cgit v1.2.3