This file is indexed.

/etc/gnuradio/conf.d/modtool.conf is in gnuradio 3.7.11-10.

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
# This file contains system wide configuration data for GNU Radio.
# You may override any setting on a per-user basis by editing
# ~/.gnuradio/config.conf

[modtool]
newmod_path = /usr/share/gnuradio/modtool/gr-newmod