mirror of
https://github.com/Ardour/ardour.git
synced 2025-12-20 05:36:31 +01:00
[Summary]: Add script 'rmp' to delete Preferences
This commit is contained in:
parent
db0c9f22b8
commit
0d151dcfc1
2 changed files with 16 additions and 0 deletions
8
tools/dev_tools/macos/rmp
Normal file
8
tools/dev_tools/macos/rmp
Normal file
|
|
@ -0,0 +1,8 @@
|
|||
path_to_preferences=$HOME/Library/Preferences/'Tracks Live'
|
||||
if [ -d $HOME/Library/Preferences/'Tracks Live' ] ; then
|
||||
#delete Preferences
|
||||
echo Folder: $path_to_preferences was deleted
|
||||
rm -rf $HOME/Library/Preferences/'Tracks Live'
|
||||
else
|
||||
echo Folder: $path_to_preferences wasn’t found
|
||||
fi
|
||||
Loading…
Add table
Add a link
Reference in a new issue