chiark
/
gitweb
/
~ianmdlvl
/
reprap-play.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d9f979a
)
commitid.scad.pl: Rename Full<n> to Full<n*2>
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Fri, 5 Feb 2016 19:23:28 +0000
(19:23 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Fri, 5 Feb 2016 19:23:28 +0000
(19:23 +0000)
commitid.scad.pl
patch
|
blob
|
history
diff --git
a/commitid.scad.pl
b/commitid.scad.pl
index 053bcc32f91fe6f7d5051cd26edfb4fed785df08..6838365d9b2999404f988ba187240d9b3cf2ae50 100755
(executable)
--- a/
commitid.scad.pl
+++ b/
commitid.scad.pl
@@
-80,9
+80,10
@@
$SIG{__WARN__} = sub { die @_; };
# eg if the commitid is abcdef0123...
# Git5 abcd*
# eg if the commitid is abcdef0123...
# Git5 abcd*
-# Full4 Full6 ... Full
1
0:
+# Full4 Full6 ... Full
2
0:
# git-rev-list --first-parent --count HEAD
# git-rev-parse HEAD
# git-rev-list --first-parent --count HEAD
# git-rev-parse HEAD
+# (all on two lines)
# eg
# Full6 abcdef Full8 abcdef01
# 23456* _123456*
# eg
# Full6 abcdef Full8 abcdef01
# 23456* _123456*
@@
-347,7
+348,7
@@
sub do_git () {
if defined $git_object;
if (defined $git_count && defined $git_object) {
if defined $git_object;
if (defined $git_count && defined $git_object) {
- gentextmodule("Full
$sz"
,
+ gentextmodule("Full
".($sz*2)
,
ljustt($sz, $git_object),
rjustt($sz, $git_count, $git_dirty));
ljustt($sz, $git_object),
rjustt($sz, $git_count, $git_dirty));