version-controlbackupdymola
Dymola .bak-mo files
Dymola generates backup files with extension *.bak-mo when deleting a file. Can I turn that off completely and permanently? I use version control, so I do not need that file. When deleting packages, even whole directories are remaining. Can I turn that off also?
Solution
This can be turned off via the advanced flag
Advanced.AutoDeleteDirectories = true;
which corresponds to this setting in the options dialog:
- Delete all local Git branches
- subversion (SVN) (version control) plugin for Jira cloud
- Get all git commits since last tag
- How do I delete a Git branch locally and remotely?
- Git on custom SSH port
- Cloning a git repo and its throwing an error
- How do I delete all Git branches which have been merged?
- Git ignore file for Xcode projects
- Version control for large binary files and >1TB repositories?
- PLC Version Control
- Do I commit the package-lock.json file created by npm 5?
- 'Invalid authentication data. Re-Login' from VCS > GitHub in IntelliJ IDEA
- Git log output to XML, JSON, or YAML?
- Git Fetch vs Git Fetch Origin
- Xcode stuck on "Loading Revision" and "Scanning for working copies..." when using Source Control
- How to create new local branch and switch between branches in Git
- How do I undo the most recent local commits in Git?
- How do you handle the tension between refactoring and the need for merging?
- Git and Trac (or similar)
- Change the git commit author's email but keep the same commit timestamps
- What is the difference between 'git pull' and 'git fetch'?
- Sourcetree caches old branches that no longer exist on github. I do not want this
- Why is a git 'pull request' not called a 'push request'?
- How do I change the author and committer name/email for multiple commits?
- Command to clear the Git Bash screen, including output buffer
- How to migrate multiple repositories into a mono-repo while maintaining commit history?
- How to set the default branch in GitHub.com?
- Git pull is very slow... Why?
- Lost git history after reorganizing project folder
- Git: How to reset a remote Git repository to remove all commits?