use gogs rather than git as hostname
This commit is contained in:
parent
cf9e60ad47
commit
93688ce482
|
@ -52,7 +52,7 @@ gogs_variables=(ONION_ONLY
|
||||||
|
|
||||||
function install_interactive_gogs {
|
function install_interactive_gogs {
|
||||||
if [[ $ONION_ONLY != "no" ]]; then
|
if [[ $ONION_ONLY != "no" ]]; then
|
||||||
GIT_DOMAIN_NAME='git.local'
|
GIT_DOMAIN_NAME='gogs.local'
|
||||||
write_config_param "GIT_DOMAIN_NAME" "$GIT_DOMAIN_NAME"
|
write_config_param "GIT_DOMAIN_NAME" "$GIT_DOMAIN_NAME"
|
||||||
else
|
else
|
||||||
function_check interactive_site_details
|
function_check interactive_site_details
|
||||||
|
|
|
@ -138,7 +138,7 @@ function set_default_onion_domains {
|
||||||
HTMLY_DOMAIN_NAME='htmly.local'
|
HTMLY_DOMAIN_NAME='htmly.local'
|
||||||
DOKUWIKI_DOMAIN_NAME='dokuwiki.local'
|
DOKUWIKI_DOMAIN_NAME='dokuwiki.local'
|
||||||
DEFAULT_DOMAIN_NAME="${PROJECT_NAME}.local"
|
DEFAULT_DOMAIN_NAME="${PROJECT_NAME}.local"
|
||||||
GIT_DOMAIN_NAME='git.local'
|
GIT_DOMAIN_NAME='gogs.local'
|
||||||
MEDIAGOBLIN_DOMAIN_NAME='media.local'
|
MEDIAGOBLIN_DOMAIN_NAME='media.local'
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue