This file is indexed.

/usr/bin/pivman is in yubikey-piv-manager 1.0.2-1.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
8
#! /usr/bin/python

from pivman import main
import signal

if __name__ == '__main__':
    signal.signal(signal.SIGINT, signal.SIG_DFL)
    main.main()