You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As of now the only way to update is to re-run the install.sh script. This deletes all previously configured user-settings.
Some updates do not include changes to the settings, in that case the old settings can be kept.
In other cases however, changes to the settings have been made. A script should be created which "merges" the old user-settings with the new cases.
The text was updated successfully, but these errors were encountered:
As of now the only way to update is to re-run the install.sh script. This deletes all previously configured user-settings.
Some updates do not include changes to the settings, in that case the old settings can be kept.
In other cases however, changes to the settings have been made. A script should be created which "merges" the old user-settings with the new cases.
The text was updated successfully, but these errors were encountered: