diff --git a/soil/web-init.sh b/soil/web-init.sh
index d76ed72806..aab02bc437 100755
--- a/soil/web-init.sh
+++ b/soil/web-init.sh
@@ -22,7 +22,8 @@ source soil/common.sh # for USER and HOST
home-page() {
### travis-ci.oilshell.org home page
- local title='Soil on travis-ci.oilshell.org'
+ local domain=${1:-'travis-ci.oilshell.org'}
+ local title="Soil on $domain"
soil-html-head "$title"
cat <
Recent Jobs | +Service Home | +Config | +
+ sr.ht + | ++ builds.sr.ht + | ++ |
+ Github Actions + | ++ github.com + | ++ |
+ Circle CI + | ++ app.circleci.com + | ++ |
+ Cirrus + | ++ cirrus-ci.com + | ++ |
+ Travis CI (obsolete) + | ++ app.travis-ci.com + | ++ |