mirror of
https://github.com/gnuradio/gnuradio-companion.git
synced 2025-12-11 04:34:56 -06:00
grc: cannot ave general settings
Exiting grc fails with Prefs path: /grc.conf [Errno 13] Keine Berechtigung: '/grc.conf' So the settings like recently opened files or geometry of grc can not be saved. Signed-off-by: Volker Schroer <3470424+dl1ksv@users.noreply.github.com>
This commit is contained in:
parent
504102b4b9
commit
af68c50254
@ -29,7 +29,7 @@ class Config(CoreConfig):
|
|||||||
name = 'GNU Radio Companion'
|
name = 'GNU Radio Companion'
|
||||||
|
|
||||||
gui_prefs_file = os.environ.get(
|
gui_prefs_file = os.environ.get(
|
||||||
'GRC_PREFS_PATH', os.path.join(get_config_file_path(), '/grc.conf'))
|
'GRC_PREFS_PATH', os.path.join(get_config_file_path(), 'grc.conf'))
|
||||||
|
|
||||||
def __init__(self, install_prefix, *args, **kwargs):
|
def __init__(self, install_prefix, *args, **kwargs):
|
||||||
CoreConfig.__init__(self, *args, **kwargs)
|
CoreConfig.__init__(self, *args, **kwargs)
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user