This file is indexed.

/usr/share/X11/xkb/compat/lednum is in xkb-data 2.5-1ubuntu1.

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
// Use Num Lock LED to show either Num Lock, Group, or Shift Lock state

default partial xkb_compatibility "num_lock"   {
    indicator "Num Lock" {
       !allowExplicit;
       whichModState= Locked;
       modifiers= NumLock;
   };
};

partial xkb_compatibility "group_lock"   {
   indicator "Num Lock" {
       modifiers= None;
       groups=All-group1;
   };
};

partial xkb_compatibility "shift_lock"   {
   indicator "Num Lock" {
       whichModState= Locked;
       modifiers= Shift;
   };
};