Re: GUI integration

[Mike Miller]

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