Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Alternative no-copy workflow that does not add a new menu item #302
Alternative to #301.
referenced this pull request
Jun 14, 2019
This is work is incomplete and should not be merged. There is no way for a user to remove a job without deleting its source directory, and that is a problem because what if a user creates a 'job' in their home directory? A complete solution would need to handle:
There may be a use case in allowing multiple jobs to be created in the same directory (multiple programs, same data), but deletion of one should not automatically assume that both jobs, and thus their files, should be removed.