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