From: Wolfgang Bangerth Date: Fri, 8 Sep 2023 12:27:27 +0000 (-0600) Subject: Update the count_lines.sh script. X-Git-Tag: relicensing~516^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=12a3bcdae4e2d59decfa7d69eb9f1c5786d3b13b;p=dealii.git Update the count_lines.sh script. --- diff --git a/contrib/utilities/count_lines.sh b/contrib/utilities/count_lines.sh index 0ee9c0ea9c..120876159e 100755 --- a/contrib/utilities/count_lines.sh +++ b/contrib/utilities/count_lines.sh @@ -29,7 +29,8 @@ # commit, averaged over the lifetime of the deal.II project. At the time # when this script was written, the repository had about 41,000 commits, # so counting lines for every 20th commit takes approximately 400 seconds, -# or 6m30s. +# or 6m30s. This can be very substantially accelerated by cloning the +# repository in a directory such as /tmp. # # NOTE: The script has existed in this repository only for a finite time. # So, if you go back in history, as this script does, it will @@ -38,6 +39,9 @@ # copy you are working in, where it will be an untracked file that # git leaves alone as it cycles through repository commits. # +# You will then want to run the script using a command such as +# ./count_lines.sh | tee ../line-count.dat +# # NOTE: Separately, since the script requires git to check out many # different versions, all of which have files that may not exist # in the current tip of the git repository you have on your hard @@ -56,7 +60,7 @@ # # set xdata time # set timefmt "%Y-%m-%d" -# set xrange ["1997-11-01":"2021-12-31"] +# set xrange ["1997-11-01":"2023-12-31"] # set yrange [0:1000000] # set format x "%Y" # set style data lines @@ -65,6 +69,12 @@ # unset arrow # unset label # +# set arrow from "2023-07-07",500000 to "2023-07-07",800000 head +# set label "9.5" at "2023-07-07",475000 +# +# set arrow from "2022-06-24",450000 to "2022-06-24",750000 head +# set label "9.4" at "2022-06-24",425000 +# # set arrow from "2021-06-18",400000 to "2021-06-18",700000 head # set label "9.3" at "2021-06-18",375000 # @@ -89,7 +99,7 @@ # # plot "< cat line-count.dat | sort" using 1:2 title "Lines of code in source files", \ # "" using 1:3 title "Lines of code in tests", \ -# "< echo 2018-01-01 700000 ; echo 2022-01-01 900000" using 1:2 title "50,000 lines per year" +# "< echo 2018-01-01 700000 ; echo 2023-12-31 1000000" using 1:2 title "50,000 lines per year" # #