diff options
author | Lars Wirzenius <liw@liw.fi> | 2022-08-05 15:09:09 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2022-08-05 17:00:19 +0300 |
commit | d9f66f00a5898b4a3cf2ea8ada9a2d08f34c670e (patch) | |
tree | 460752d8e864237774947a3515bcb35435b3dc2e /src/page.rs | |
parent | fe85456490c4f297dbd9b773cf5c3b8c6b053c42 (diff) | |
download | riki-d9f66f00a5898b4a3cf2ea8ada9a2d08f34c670e.tar.gz |
feat: set file commit time to git commit timestamp, unless changed
If a file is committed to git and hasn't been changed, use the latest
commit time for the file as the timestamp of the output file.
This lacks tests, as I find it too much of a bother to set up git
histories with timestamps.
Sponsored-by: author
Diffstat (limited to 'src/page.rs')
-rw-r--r-- | src/page.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/page.rs b/src/page.rs index d3bc8e7..822aee6 100644 --- a/src/page.rs +++ b/src/page.rs @@ -39,6 +39,10 @@ impl WikitextPage { &self.meta } + pub fn meta_mut(&mut self) -> &mut PageMeta { + &mut self.meta + } + pub fn wikitext(&self) -> &str { &self.wikitext } @@ -161,6 +165,10 @@ impl PageMeta { pub fn mtime(&self) -> SystemTime { self.mtime } + + pub fn set_mtime(&mut self, mtime: SystemTime) { + self.mtime = mtime; + } } #[derive(Debug, Default)] |