Skip to content

isabelle-platform/isabelle-scripts

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

45 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

isabelle-scripts

Isabelle scripts

Configure for Equestrian

./scripts/configure.sh --pub-fqdn isabelle-staging.test.com --pub-url https://isabelle-staging.test.com --cert-owner "info+isabelledemo@test.com" --machine-type droplet

Configure for Intranet

./scripts/configure.sh --pub-fqdn intranet.test.com --pub-url https://intranet.test.com --cert-owner "info+intranet@test.com"

Configure for other

./scripts/configure.sh --pub-fqdn localhost.com:8480 --pub-url http://localhost.com:8480 --db "none" --no-cert 1 --no-fw 1

Deploy

./scripts/deploy.sh

About

Isabelle scripts

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages