This file is indexed.

/usr/share/mc/skins/gray-green-purple256.ini is in mc-data 3:4.8.15-2.

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
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
[skin]
    description = Gray-Green-Purple Skin
    256colors = true

[Lines]
    horiz = ─
    vert = │
    lefttop = ┌
    righttop = ┐
    leftbottom = └
    rightbottom = ┘
    topmiddle = ┬
    bottommiddle = ┴
    leftmiddle = ├
    rightmiddle = ┤
    cross = ┼
    dhoriz = ═
    dvert = ║
    dlefttop = ╔
    drighttop = ╗
    dleftbottom = ╚
    drightbottom = ╝
    dtopmiddle = ╤
    dbottommiddle = ╧
    dleftmiddle = ╟
    drightmiddle = ╢

[core]
    _default_ = black;gray22
    selected = ;rgb141
    marked = rgb303;;bold
    markselect = rgb303;rgb141;bold
    gauge = ;rgb141
    input =
    inputunchanged = gray
    inputmark = ;rgb141
    disabled = gray8;gray20
    reverse =
    commandlinemark = ;rgb141
    header = rgb303

[dialog]
    _default_ = black;gray20
    dfocus = ;rgb141
    dhotnormal = rgb303
    dhotfocus = rgb303;rgb141
    dtitle = rgb303

[error]
    # "white" might change color when going bold, so use "rgb555" instead
    _default_ = rgb555;rgb400;bold
    errdfocus = ;rgb303
    errdhotnormal = rgb141
    errdhotfocus = rgb141;rgb303
    errdtitle = rgb141

[filehighlight]
    directory =
    executable = rgb030
    symlink = rgb202
    hardlink =
    stalelink = rgb400
    device = rgb231
    special = rgb331
    core = rgb430
    temp = gray15
    archive = rgb012
    doc = rgb103
    source = rgb310
    media = rgb024
    graph = rgb033
    database = rgb421

[menu]
    _default_ = black;gray20
    menusel = ;rgb141
    menuhot = rgb303
    menuhotsel = rgb303;rgb141
    menuinactive =

[popupmenu]
    _default_ = black;gray20
    menusel = ;rgb141
    menutitle = rgb303

[buttonbar]
    hotkey = black;gray22
    button = black;gray20

[statusbar]
    _default_ = black;gray20

[help]
    _default_ = black;gray20
    helpitalic = rgb020
    helpbold = rgb300
    helplink = rgb303;;underline
    helpslink = gray20;rgb303
    helptitle = rgb303

[editor]
    _default_ = black;gray22
    editbold = rgb400
    editmarked = ;rgb141
    editwhitespace = rgb400;gray20
    editlinestate = ;gray20
    bookmark = ;rgb531
    bookmarkfound = ;rgb303
    editrightmargin = rgb400;gray20
#    editbg =
    editframe = rgb303;
    editframeactive = black;
    editframedrag = rgb400;
    window-state-char = ↕
    window-close-char = ✕

[viewer]
    _default_ = black;gray22
    # "black" might change color when going bold, so use "rgb000" instead
    viewbold = rgb000;;bold
    viewunderline = ;;underline
    viewselected = rgb303;rgb141;bold

[diffviewer]
    added = ;rgb340
    changedline = ;gray20
    changednew = rgb303;gray20
    changed = ;gray21
    removed = ;rgb511
    # "white" might change color when going bold, so use "rgb555" instead
    error = rgb555;rgb400;bold

[widget-common]
    sort-sign-up = ▴
    sort-sign-down = ▾

[widget-panel]
    hiddenfiles-sign-show = •
    hiddenfiles-sign-hide = ○
    history-prev-item-sign = ◂
    history-next-item-sign = ▸
    history-show-list-sign = ▾
    filename-scroll-left-char = ◂
    filename-scroll-right-char = ▸

[widget-scollbar]
    first-vert-char = ▴
    last-vert-char = ▾
    first-horiz-char = ◂
    last-horiz-char = ▸
    current-char = ■
    background-char = ▒