Menu
▾
▴
Tree [7e3fed] main / docs / images / userdocs / History
| File | Date | Author | Commit |
|---|---|---|---|
| README.md | 2024-03-05 |
Andreas Dangel
|
[434d13] [doc] Update pmd-demo.gif |
| designer-overview-with-nums.png | 2023-12-07 |
Andreas Dangel
|
[add430] [doc] Update rule writing docs (#2511) |
| designer-overview.png | 2023-12-07 |
Andreas Dangel
|
[add430] [doc] Update rule writing docs (#2511) |
| pmd-demo.gif | 2024-03-05 |
Andreas Dangel
|
[434d13] [doc] Update pmd-demo.gif |
| screenshot_cpd.png | 2017-07-22 |
Andreas Dangel
|
[6e59b0] [doc] Add remaining pages (FAQ, Releasing), add... |
Read Me
How to create pmd-demo.gif
Prepare
mkdir $HOME/pmd-demo
cd $HOME/pmd-demo
curl -L -o jdk-master.zip https://github.com/openjdk/jdk/archive/refs/heads/master.zip
unzip jdk-master.zip
alias pmd=$HOME/PMD/source/pmd/pmd-dist/target/pmd-bin-7.0.0-SNAPSHOT/bin/pmd
clear
pmd --version
pmd check -R rulesets/java/quickstart.xml -d jdk-master/src/java.base -f text --cache pmd.cache --report-file jdk-report.txt
Second terminal window: cd $HOME/pmd-demo; tail -f jdk-report.txt
Recording
Record screencast with https://github.com/EasyScreenCast/EasyScreenCast (a gnome3 extension)
The recorded screencast can be found in $HOME/Videos.
Converting
Convert webm to gif: https://engineering.giphy.com/how-to-make-gifs-with-ffmpeg/
cd $HOME/Videos
ffmpeg -i pmd7-demo.webm -filter_complex "[0:v] fps=12,scale=960:-1,split [a][b];[a] palettegen [p];[b][p] paletteuse" pmd7-demo.gif
