Skip to content

Use a tee to push to log as well #61

Open
Open
Use a tee to push to log as well#61

Description

@slice4e
slice4e
opened on Nov 14, 2023

Use a tee command to create an informative execution log in the results directory.

Activity

  1. slice4e commented on Nov 14, 2023

    @slice4e
    slice4e
    on Nov 14, 2023
    OwnerAuthor

    use tee -a

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions