diff options
| author |  Joakim Bygdell <j.bygdell@gmail.com> | 2017-02-04 10:13:58 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-02-05 11:59:47 -0800 |
| commit | d4dbd0bee78702116cbf389721cff17bfe52dbc2 (patch) | |
| tree | 988eb5786645749374613ed3e9db27cf16787c54 /core/save-git.c | |
| parent | 6518b0db4563839c0adccae32cc4b4f5e9fa27a8 (diff) | |
| download | subsurface-d4dbd0bee78702116cbf389721cff17bfe52dbc2.tar.gz | |
Save profile settings to git
In order to streamline the view between desktop and mobile we need to save
selected profile related settings to git.
Signed-off-by: Joakim Bygdell <j.bygdell@gmail.com>
Diffstat (limited to 'core/save-git.c')
| -rw-r--r-- | core/save-git.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/core/save-git.c b/core/save-git.c index f174937bd..0d5a2c74d 100644 --- a/core/save-git.c +++ b/core/save-git.c @@ -861,6 +861,10 @@ static void save_settings(git_repository *repo, struct dir *tree) call_for_each_dc(&b, save_one_device, false); cond_put_format(autogroup, &b, "autogroup\n"); save_units(&b); + if (prefs.tankbar) + put_string(&b, "prefs TANKBAR\n"); + if (prefs.dcceiling) + put_string(&b, "prefs DCCEILING\n"); blob_insert(repo, tree, &b, "00-Subsurface"); } |