[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUI integration
From: |
Mike Miller |
Subject: |
Re: GUI integration |
Date: |
Sat, 11 Aug 2012 18:22:29 -0400 |
On Sat, Aug 11, 2012 at 5:59 PM, John W. Eaton <address@hidden> wrote:
> On 11-Aug-2012, John W. Eaton wrote:
>
> | On 11-Aug-2012, Jacob Dawid wrote:
> |
> | | What files need to be found? Can the locations be specified by
> | | command-line arguments or environment variables? If not, that should
> | | probably be allowed anyway.
> | |
> | |
> | | at startup, the GUI checks whether a configuration file exists and - if
> not -
> | | copies the default configuration file into the home directory of the
> user. But
> | | I think, instead of doing that, I can just define default settings
> hardcoded in
> | | a function and write that to a file, so the need for a default
> configuration
> | | file gets eliminated.
> |
> | I think it would be better to have the defaults in a file. That way
> | someone could customize the defaults for new users without having to
> | recompile.
>
> I checked in the following change:
>
> http://hg.savannah.gnu.org/hgweb/octave/rev/098546e95a5e
With this revision I get a segfault when running after make install
and no ~/.config/octave directory. If I ./run-octave first and let it
create ~/.config/octave, then the installed copy of octave runs fine.
Maybe install_defaults() hasn't been called yet?
Here's a gdb backtrace:
#0 0x00007ffff47e8f4b in std::basic_string<char,
std::char_traits<char>, std::allocator<char>
>::basic_string(std::string const&) ()
from /usr/lib/x86_64-linux-gnu/libstdc++.so.6
#1 0x00007ffff4ca0805 in operator+<char, std::char_traits<char>,
std::allocator<char> > (__rhs=..., __lhs=...) at
/usr/include/c++/4.7/bits/basic_string.h:2365
#2 default_qt_settings_file () at ../../../gui/gui/src/resource-manager.cc:67
#3 resource_manager::reload_settings (address@hidden)
at ../../../gui/gui/src/resource-manager.cc:84
#4 0x00007ffff4ca0b72 in resource_manager::resource_manager (
this=0x7ffff4f34630) at ../../../gui/gui/src/resource-manager.cc:41
#5 0x00007ffff4c7ed06 in __static_initialization_and_destruction_0 (
__initialize_p=<optimized out>, __priority=<optimized out>)
at ../../../gui/gui/src/resource-manager.cc:35
#6 _GLOBAL__sub_I_resource_manager.cc(void) ()
at ../../../gui/gui/src/resource-manager.cc:1698
#7 0x00007ffff7deaf80 in ?? () from /lib64/ld-linux-x86-64.so.2
#8 0x00007ffff7deb077 in ?? () from /lib64/ld-linux-x86-64.so.2
#9 0x00007ffff7dddb2a in ?? () from /lib64/ld-linux-x86-64.so.2
#10 0x0000000000000001 in ?? ()
#11 0x00007fffffffe313 in ?? ()
#12 0x0000000000000000 in ?? ()
--
mike
- GUI integration, John W. Eaton, 2012/08/10
- GUI integration, John W. Eaton, 2012/08/11
- Re: GUI integration, Jacob Dawid, 2012/08/11
- Re: GUI integration, Michael Goffioul, 2012/08/11
- Re: GUI integration, John W. Eaton, 2012/08/11
- Re: GUI integration, Jacob Dawid, 2012/08/11
- Re: GUI integration, John W. Eaton, 2012/08/11
- Re: GUI integration, John W. Eaton, 2012/08/11
- Re: GUI integration,
Mike Miller <=
- Re: GUI integration, John W. Eaton, 2012/08/11
- Re: GUI integration, Mike Miller, 2012/08/11
- Re: GUI integration, Mike Miller, 2012/08/11
- Re: GUI integration, Jacob Dawid, 2012/08/12
- Re: GUI integration, Mike Miller, 2012/08/12
- Re: GUI integration, John W. Eaton, 2012/08/12
- Re: GUI integration, Mike Miller, 2012/08/12