/usr/share/gps/plug-ins/ is in gnat-gps-common 5.0-13.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/usr/share/gps/plug-ins/Makefile.py
|
text/plain | root:root | 0o644 | 10.1 KB |
/usr/share/gps/plug-ins/ada-support.xml
|
text/xml | root:root | 0o644 | 7.0 KB |
/usr/share/gps/plug-ins/ada_support.py
|
text/plain | root:root | 0o644 | 471 bytes |
/usr/share/gps/plug-ins/align.py
|
text/plain | root:root | 0o644 | 10.0 KB |
/usr/share/gps/plug-ins/auto_highlight_occurrences.py
|
text/plain | root:root | 0o644 | 8.8 KB |
/usr/share/gps/plug-ins/block_completion.py
|
text/plain | root:root | 0o644 | 4.8 KB |
/usr/share/gps/plug-ins/build_modes.xml
|
text/xml | root:root | 0o644 | 3.9 KB |
/usr/share/gps/plug-ins/build_targets.xml
|
text/xml | root:root | 0o644 | 13.3 KB |
/usr/share/gps/plug-ins/c_support.xml
|
text/xml | root:root | 0o644 | 10.3 KB |
/usr/share/gps/plug-ins/changelog.xml
|
text/xml | root:root | 0o644 | 967 bytes |
/usr/share/gps/plug-ins/childtree.png
|
image/png | root:root | 0o644 | 180 bytes |
/usr/share/gps/plug-ins/childtree2.png
|
image/png | root:root | 0o644 | 151 bytes |
/usr/share/gps/plug-ins/clearcase.xml
|
text/xml | root:root | 0o644 | 9.9 KB |
/usr/share/gps/plug-ins/codepeer.py
|
text/plain | root:root | 0o644 | 13.1 KB |
/usr/share/gps/plug-ins/csharp.xml
|
text/xml | root:root | 0o644 | 1.7 KB |
/usr/share/gps/plug-ins/customFiles.xsd
|
text/xml | root:root | 0o644 | 45.4 KB |
/usr/share/gps/plug-ins/cvs.xml
|
text/xml | root:root | 0o644 | 20.4 KB |
/usr/share/gps/plug-ins/dispatching.py
|
text/plain | root:root | 0o644 | 5.8 KB |
/usr/share/gps/plug-ins/docgen_base_tags.py
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/gps/plug-ins/editors.py
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/gps/plug-ins/expanded_code.py
|
text/plain | root:root | 0o644 | 6.1 KB |
/usr/share/gps/plug-ins/gcov.py
|
text/plain | root:root | 0o644 | 7.1 KB |
/usr/share/gps/plug-ins/git.xml
|
text/xml | root:root | 0o644 | 8.3 KB |
/usr/share/gps/plug-ins/git_support.py
|
text/plain | root:root | 0o644 | 549 bytes |
/usr/share/gps/plug-ins/gnatcheck.py
|
text/plain | root:root | 0o644 | 13.8 KB |
/usr/share/gps/plug-ins/gnatdist_support.py
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/gps/plug-ins/gnatmetric.xml
|
text/xml | root:root | 0o644 | 3.3 KB |
/usr/share/gps/plug-ins/gnatpp.xml
|
text/xml | root:root | 0o644 | 8.0 KB |
/usr/share/gps/plug-ins/gnatpsta.py
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/gps/plug-ins/gnatstack.py
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/share/gps/plug-ins/gnatstub.xml
|
text/xml | root:root | 0o644 | 1.2 KB |
/usr/share/gps/plug-ins/gpr.xml
|
text/xml | root:root | 0o644 | 1.1 KB |
/usr/share/gps/plug-ins/gps_utils/
|
root:root | 0o755 | ||
/usr/share/gps/plug-ins/gps_utils/__init__.py
|
text/x-c++ | root:root | 0o644 | 6.2 KB |
/usr/share/gps/plug-ins/gps_utils/console_process.py
|
text/x-c++ | root:root | 0o644 | 9.1 KB |
/usr/share/gps/plug-ins/gps_utils/gnat_rules.py
|
text/plain | root:root | 0o644 | 30.8 KB |
/usr/share/gps/plug-ins/gps_utils/gnat_switches.py
|
application/x-empty | root:root | 0o644 | 0 bytes |
/usr/share/gps/plug-ins/gps_utils/gnatcheck_default.py
|
text/plain | root:root | 0o644 | 10.4 KB |
/usr/share/gps/plug-ins/gps_utils/gnatcheck_rules_editor.py
|
text/x-c++ | root:root | 0o644 | 11.3 KB |
/usr/share/gps/plug-ins/gps_utils/highlighter.py
|
text/plain | root:root | 0o644 | 8.5 KB |
/usr/share/gps/plug-ins/gps_utils/switches.py
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/gps/plug-ins/icons.xml
|
text/xml | root:root | 0o644 | 17.6 KB |
/usr/share/gps/plug-ins/images/
|
root:root | 0o755 | ||
/usr/share/gps/plug-ins/images/tip_all_occurrences.png
|
image/png | root:root | 0o644 | 89.0 KB |
/usr/share/gps/plug-ins/images/tip_build_menu.png
|
image/png | root:root | 0o644 | 91.7 KB |
/usr/share/gps/plug-ins/images/tip_entity_view.png
|
image/png | root:root | 0o644 | 85.7 KB |
/usr/share/gps/plug-ins/images/tip_entity_view_dnd.png
|
image/png | root:root | 0o644 | 87.5 KB |
/usr/share/gps/plug-ins/images/tip_insert_spaces_with_tab.png
|
image/png | root:root | 0o644 | 23.2 KB |
/usr/share/gps/plug-ins/images/tip_jump_to_first_location.png
|
image/png | root:root | 0o644 | 97.0 KB |
/usr/share/gps/plug-ins/images/tip_keyboard_macro.png
|
image/png | root:root | 0o644 | 78.3 KB |
/usr/share/gps/plug-ins/images/tip_makefile_support.png
|
image/png | root:root | 0o644 | 83.7 KB |
/usr/share/gps/plug-ins/images/tip_multi_language_builder.png
|
image/png | root:root | 0o644 | 103.6 KB |
/usr/share/gps/plug-ins/images/tip_multiple_views.png
|
image/png | root:root | 0o644 | 124.4 KB |
/usr/share/gps/plug-ins/images/tip_notebook_tabs_position.png
|
image/png | root:root | 0o644 | 84.5 KB |
/usr/share/gps/plug-ins/images/tip_os_shell.png
|
image/png | root:root | 0o644 | 79.4 KB |
/usr/share/gps/plug-ins/images/tip_task_manager.png
|
image/png | root:root | 0o644 | 9.7 KB |
/usr/share/gps/plug-ins/languages.xml
|
text/xml | root:root | 0o644 | 10.4 KB |
/usr/share/gps/plug-ins/listvars.py
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/share/gps/plug-ins/locations_view_utils.py
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/gps/plug-ins/methods.py
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/gps/plug-ins/navigation_utils.py
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/gps/plug-ins/os_utils.py
|
text/plain | root:root | 0o644 | 870 bytes |
/usr/share/gps/plug-ins/pipe.py
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/gps/plug-ins/projects.xml
|
text/xml | root:root | 0o644 | 15.6 KB |
/usr/share/gps/plug-ins/protocols.xml.in
|
text/xml | root:root | 0o644 | 6.1 KB |
/usr/share/gps/plug-ins/python_doc.py
|
text/plain | root:root | 0o644 | 24.0 KB |
/usr/share/gps/plug-ins/python_support.py
|
text/plain | root:root | 0o644 | 7.0 KB |
/usr/share/gps/plug-ins/rectangles.py
|
text/x-c++ | root:root | 0o644 | 9.8 KB |
/usr/share/gps/plug-ins/reset_gps_registry.py
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/gps/plug-ins/shell.py
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/gps/plug-ins/sort_selection.py
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/gps/plug-ins/spark/
|
root:root | 0o755 | ||
/usr/share/gps/plug-ins/spark/spark.py
|
text/plain | root:root | 0o644 | 39.6 KB |
/usr/share/gps/plug-ins/spark_support.py
|
text/plain | root:root | 0o644 | 434 bytes |
/usr/share/gps/plug-ins/subversion.xml
|
text/xml | root:root | 0o644 | 25.0 KB |
/usr/share/gps/plug-ins/text_utils.py
|
text/plain | root:root | 0o644 | 32.3 KB |
/usr/share/gps/plug-ins/tip_of_the_day.py
|
text/plain | root:root | 0o644 | 21.3 KB |
/usr/share/gps/plug-ins/toolchains.xml
|
text/xml | root:root | 0o644 | 3.0 KB |
/usr/share/gps/plug-ins/url.py
|
text/plain | root:root | 0o644 | 533 bytes |
/usr/share/gps/plug-ins/xcov.py
|
text/plain | root:root | 0o644 | 4.5 KB |
/usr/share/gps/plug-ins/xml_support.py
|
text/plain | root:root | 0o644 | 6.3 KB |
/usr/share/gps/plug-ins/zoom.py
|
text/plain | root:root | 0o644 | 1.6 KB |