This file is indexed.

/usr/share/polkit-1/actions/cc.arduino.add-groups.policy is in arduino 2:1.0.5+dfsg2-4.1.

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
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE policyconfig PUBLIC
"-//freedesktop//DTD PolicyKit Policy Configuration 1.0//EN"
"http://www.freedesktop.org/standards/PolicyKit/1/policyconfig.dtd">
<policyconfig>
  
  <vendor>Arduino</vendor>
  <vendor_url>http://arduino.cc/</vendor_url>
  
  <action id="cc.arduino.add-groups.policy">
    <description>Add the user to groups required to access USB and serial ports.</description>
    <message>Authentication is required to add the current user to the required groups.</message>
    <icon_name>arduino</icon_name>
    <defaults>
      <allow_any>no</allow_any>
      <allow_inactive>no</allow_inactive>
      <allow_active>auth_admin</allow_active>
    </defaults>
    <annotate key="org.freedesktop.policykit.exec.path">/usr/bin/arduino-add-groups</annotate>
  </action>
  
</policyconfig>