This file is indexed.

/usr/share/astk/DOC/sdd_sel.txt is in code-aster-gui 1.13.1-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
# selection courante dans les listes
astk::sel(filename) = nom du fichier (à compléter avec path_$var si dans liste)
astk::sel(servname) = nom du serveur
astk::sel(liste)    = liste le cas échéant (etude, tests, sources, surcharge)
astk::sel(indice)   = indice dans la liste