/usr/lib/python2.7/dist-packages/sagenb/notebook/user_conf.py is in python-sagenb 1.0.1+ds1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 | # -*- coding: utf-8 -*
"""nodoctest
"""
import os
import copy
from . import server_conf
from .conf import (Configuration, POS, DESC, GROUP, TYPE, CHOICES, T_BOOL,
T_INTEGER, T_CHOICE, T_REAL, T_COLOR, T_STRING, T_LIST)
from sagenb.misc.misc import SAGENB_ROOT, get_languages
from flask_babel import lazy_gettext
defaults = {'max_history_length':1000,
'default_system':'sage',
'autosave_interval':60*60, # 1 hour in seconds
'default_pretty_print': False,
'next_worksheet_id_number': -1, # not yet initialized
'language': 'default'
}
defaults_descriptions = {
'language': {
DESC : lazy_gettext('Language'),
GROUP : lazy_gettext('Appearance'),
TYPE : T_CHOICE,
CHOICES : ['default'] + get_languages(),
},
}
def UserConfiguration_from_basic(basic):
c = UserConfiguration()
c.confs = copy.copy(basic)
return c
class UserConfiguration(Configuration):
def defaults(self):
return defaults
def defaults_descriptions(self):
return defaults_descriptions
|