Compare commits
2 Commits
3992a77c78
...
main
| Author | SHA1 | Date | |
|---|---|---|---|
| dde33ca5c3 | |||
| d12b4da065 |
@@ -56,6 +56,7 @@ ssh $BUILD_MACHINE_USER@$BUILD_MACHINE_NAME << EOF
|
|||||||
cd rs-dublinbus
|
cd rs-dublinbus
|
||||||
else
|
else
|
||||||
cd rs-dublinbus
|
cd rs-dublinbus
|
||||||
|
git reset --hard
|
||||||
git pull
|
git pull
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|||||||
+1
-1
@@ -58,7 +58,7 @@ impl Screen<'_> {
|
|||||||
self.do_print_at(5, display_data.status.as_ref().unwrap(), 0);
|
self.do_print_at(5, display_data.status.as_ref().unwrap(), 0);
|
||||||
} else {
|
} else {
|
||||||
// Display date and time otherwise
|
// Display date and time otherwise
|
||||||
self.do_print_at(5, &format!("Current time: {:02}/{:02}/{:4} {:02}:{:02}",
|
self.do_print_at(5, &format!(" Current time: {:02}/{:02}/{:4} {:02}:{:02}",
|
||||||
local_time.day(), local_time.month(), local_time.year(),
|
local_time.day(), local_time.month(), local_time.year(),
|
||||||
local_time.hour(), local_time.minute()
|
local_time.hour(), local_time.minute()
|
||||||
).to_string(), 0);
|
).to_string(), 0);
|
||||||
|
|||||||
Reference in New Issue
Block a user