This file is indexed.

/usr/share/pyshared/Editeur/styles.py is in eficas 6.4.0-1-1.1.

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
# -*- coding: utf-8 -*-
import os
import prefs
name='prefs_'+prefs.code
prefsCode=__import__(name)
import basestyle
from basestyle import STYLE,style

inistylefile=os.path.join(prefsCode.repIni,"style.py")
if os.path.isfile(inistylefile):
   execfile(inistylefile)

userstylefile=os.path.expanduser("~/Eficas_install/style.py")
if os.path.isfile(userstylefile):
   execfile(userstylefile)

import fontes
for attr in dir(style):
   if attr[0]=='_':continue
   if not hasattr(fontes,attr):continue
   setattr(fontes,attr,getattr(style,attr))