From 64cc0fb33abe7708c63876c64898898dbcb4fbe5 Mon Sep 17 00:00:00 2001 From: Michael Peyton Jones Date: Sun, 25 Jun 2023 20:26:45 +0100 Subject: [PATCH] Restore short option for logfile I meant to leave the old options in place. The short option is only there for the hidden old option, so it's not shown. That means what new users see is consistent across all the options. --- src/Ide/Arguments.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Ide/Arguments.hs b/src/Ide/Arguments.hs index 176b896a27..d8be0d69f7 100644 --- a/src/Ide/Arguments.hs +++ b/src/Ide/Arguments.hs @@ -149,6 +149,7 @@ arguments plugins = GhcideArguments <> help "Send logs to a file" )) <|> (optional (strOption ( long "logfile" + <> short 'l' <> metavar "LOGFILE" <> help "Send logs to a file" -- deprecated alias so users don't need to update their CLI calls