Add some scripts for investigating the ports tree options.

2023-09-01 12:34:55 -04:00
parent 5e81006208
commit a6af4eee2f
5 changed files with 114 additions and 3 deletions
--- a/ansible/roles/build/tasks/freebsd.yaml
+++ b/ansible/roles/build/tasks/freebsd.yaml
@@ -92,3 +92,9 @@
      dest: /usr/local/bin/freebsd_update_step1
    - src: freebsd_update_step2
      dest: /usr/local/bin/freebsd_update_step2
+    - src: find_popular_ports_options.bash
+      dest: /usr/local/bin/find_popular_ports_options
+    - src: find_ports_containing_option.bash
+      dest: /usr/local/bin/find_ports_containing_option
+    - src: find_packages_that_installed_kernel_modules.bash
+      dest: /usr/local/bin/find_packages_that_installed_kernel_modules