This file is indexed.

/usr/share/applications/clips.desktop is in clips 6.24-3ubuntu1.

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
[Desktop Entry]
# The format of this file is specified at
# http://freedesktop.org/Standards/desktop-entry-spec/
# The entries are in the order they are listed in version 0.9.4
Type=Application
Version=1.0
Encoding=UTF-8
Name=CLIPS
GenericName=Expert system tool
GenericName[en_GB]=Expert system tool
GenericName[es]=Herramienta de sistemas expertos
Comment=Expert system tool
Comment[es]=Herramienta de sistemas expertos
Icon=clips.xpm
TryExec=clips
Exec=clips
Path=
Terminal=true
MimeType=
Categories=Development;Building;ArtificialIntelligence