Skip to content

Add command line input argument to set log file#163

Merged
IshaanDesai merged 4 commits intodevelopfrom
log-file-option
May 9, 2025
Merged

Add command line input argument to set log file#163
IshaanDesai merged 4 commits intodevelopfrom
log-file-option

Conversation

@IshaanDesai
Copy link
Copy Markdown
Member

@IshaanDesai IshaanDesai commented May 9, 2025

By default the Micro Manager parses the log output to the terminal (sys.stdout). To parse the output to a file, the user has to manually pipe it, by doing something like micro-manager-precice &> micro-manager.log. This is inconvenient and error-prone. This PR adds a command line argument to the Micro Manager executable which accepts a log file name. It works in the following way

micro-manager-precice micro-manager-config.json micro-manager.log

The log will be parsed to the file micro-manager.log. Passing a log file is optional.

Checklist:

  • I made sure that the CI passed before I ask for a review.
  • I added a summary of the changes (compared to the last release) in the CHANGELOG.md.
  • If necessary, I made changes to the documentation and/or added new content.
  • I will remember to squash-and-merge, providing a useful summary of the changes of this PR.

@IshaanDesai IshaanDesai self-assigned this May 9, 2025
@IshaanDesai IshaanDesai merged commit 4578c04 into develop May 9, 2025
8 checks passed
@IshaanDesai IshaanDesai deleted the log-file-option branch May 9, 2025 14:18
@IshaanDesai IshaanDesai mentioned this pull request Aug 6, 2025
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant