punktdateien-bashrc/programs.d/pmd.sh

#!/bin/bash
which pmd &> /dev/null && source <(pmd generate-completion)
Add PMD completion 2024-08-31 21:54:01 +02:00			`#!/bin/bash`
Fix PMD completion script 2024-08-31 21:56:24 +02:00			`which pmd &> /dev/null && source <(pmd generate-completion)`