This file is indexed.

/usr/lib/devede/devedeng/help.py is in devede 4.8.0-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
#!/usr/bin/env python3

from gi.repository import Gtk,Gdk
import devedeng.configuration_data
import os

class help:
    
    def __init__(self,help_page):

        self.config = devedeng.configuration_data.configuration.get_config()

        file="file://"+os.path.join(self.config.help_path,"html",help_page)

        retval = Gtk.show_uri(None,file,Gdk.CURRENT_TIME)
        if retval == False:
            msg=devede_dialogs.show_error(gladefile,_("Can't open the help files."))