This file is indexed.

/usr/share/pyshared/InterfaceTK/images.py is in eficas 2.0.3-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
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
# -*- coding: utf-8 -*-
#            CONFIGURATION MANAGEMENT OF EDF VERSION
# ======================================================================
# COPYRIGHT (C) 1991 - 2002  EDF R&D                  WWW.CODE-ASTER.ORG
# THIS PROGRAM IS FREE SOFTWARE; YOU CAN REDISTRIBUTE IT AND/OR MODIFY
# IT UNDER THE TERMS OF THE GNU GENERAL PUBLIC LICENSE AS PUBLISHED BY
# THE FREE SOFTWARE FOUNDATION; EITHER VERSION 2 OF THE LICENSE, OR
# (AT YOUR OPTION) ANY LATER VERSION.
#
# THIS PROGRAM IS DISTRIBUTED IN THE HOPE THAT IT WILL BE USEFUL, BUT
# WITHOUT ANY WARRANTY; WITHOUT EVEN THE IMPLIED WARRANTY OF
# MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. SEE THE GNU
# GENERAL PUBLIC LICENSE FOR MORE DETAILS.
#
# YOU SHOULD HAVE RECEIVED A COPY OF THE GNU GENERAL PUBLIC LICENSE
# ALONG WITH THIS PROGRAM; IF NOT, WRITE TO EDF R&D CODE_ASTER,
#    1 AVENUE DU GENERAL DE GAULLE, 92141 CLAMART CEDEX, FRANCE.
#
#
# ======================================================================
"""
    Ce module joue le role de cache pour les images stockées
    dans le repertoire ICONDIR
"""

import os
import Tkinter

if __name__ == '__main__':
   # Programme de test
   import sys
   import images
   root=Tkinter.Tk()
   frame = Tkinter.Frame(root)
   frame.pack(expand=1,fill='both')

   for name in ('About24','Save24'):
      Tkinter.Label(frame, image=images.get_image(name)).pack(side=Tkinter.TOP)

   root.mainloop()
   sys.exit()

try:
   import prefs
   name='prefs_'+prefs.code
   prefsCode=__import__(name)
   ICONDIR=prefsCode.ICONDIR
except:
   # Par defaut on utilise le repertoire local icons
   ICONDIR=os.path.join(os.path.abspath(os.path.dirname(__file__)),'/Editeur/icons')


dico_images={}

def get_image(name):
    if dico_images.has_key(name):
        return dico_images[name]
    else : 
        fic_image = os.path.join(ICONDIR,name)
        if not os.path.isfile(fic_image):
           file, ext = os.path.splitext(fic_image)
           fic_image = file + '.gif'
        image = Tkinter.PhotoImage(file=fic_image)
        dico_images[name]=image
        return image

def update_cache():
   dico_images.clear()