progress: add page (#7510)

This commit is contained in:
Rodrigo Nemmen
2022-01-29 22:57:39 -03:00
committed by GitHub
parent 09f8f802d3
commit 9ad2a08a73

View File

@@ -13,4 +13,8 @@
- Launch and monitor a single long-running command:
`{{command}} & progress -mp $!`
`{{command}} & progress --monitor --pid $!`
- Include an estimate of time remaining for completion:
`progress --wait --command {{firefox}}`