parent
4d58ae60b0
commit
8102d1d009
17 changed files with 371 additions and 273 deletions
|
|
@ -85,7 +85,8 @@ inputs@{ machine, ... }:
|
|||
'';
|
||||
# if(.contained_in('first_parent(@)'), label("git_head", "HEAD")),
|
||||
status_summary = "'\n' ++ self.diff().summary() ++ '\n'";
|
||||
log_oneline_with_status_summary = "log_oneline ++ if(self.current_working_copy() && self.diff().files().len() > 0, status_summary)";
|
||||
space = "'\n\n\n'";
|
||||
log_oneline_with_status_summary = "if(self.current_working_copy(), space) ++ log_oneline ++ if(self.current_working_copy() && self.diff().files().len() > 0, status_summary)";
|
||||
};
|
||||
|
||||
aliases =
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue