]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Update the count_lines.sh script. 15973/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Fri, 8 Sep 2023 12:27:27 +0000 (06:27 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Fri, 8 Sep 2023 12:27:27 +0000 (06:27 -0600)
contrib/utilities/count_lines.sh

index 0ee9c0ea9c4f335e885ef8c50fbc0ea309198819..120876159e6a0ba8fcd665aa08a52dcc9d9cdcf6 100755 (executable)
@@ -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
 #  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"
 #
 #
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.