Skip to content
Snippets Groups Projects
Select Git revision
  • fe47255480101087f3c555a65855807be10441eb
  • master default
  • JS-based-scroll-rendering
  • Paul_Marius_Level
  • Paul_Marius_2
  • Paul_Marius
  • Andi_Mark
  • be-UnityWebView
  • gitignoreFrameitServer
  • ZimmerBSc
  • Bugfix_StageLoading
  • stages
  • MAZIFAU_Experimental
  • tsc/coneworld
  • tsc/fact-interaction
  • marcel
  • MaZiFAU_TopSort
  • mergeHelper
  • zwischenSpeichern
  • tempAndrToMaster
  • SebBranch
  • 3.0
  • v2.1
  • v2.0
  • v1.0
25 results

Mock-Scrolls.json

Blame
  • .gitlab-ci.yml 1.16 KiB
    image: kwarc/jekyll-website-deployer
    stages:
      - deploy
    
    before_script:
      # setup locales
      - echo "en_US UTF-8" > /etc/locale.gen
      - which locale-gen || ( apt-get update -y && apt-get install locales )
      - export LANG=en_US.UTF-8
      - export LANGUAGE=en_US:en
      - export LC_ALL=en_US.UTF-8
    
      # install ssh-agent, unless already there
      - 'which ssh-agent || ( apt-get update -y && apt-get install openssh-client -y )'
    
      # install rsync, unless already there
      - 'which rsync || ( apt-get update -y && apt-get install rsync -y )'
    
      # install bundler, unless already there
      - 'which bundle || ( gem install bundler )'
    
      # and install the bundle
      - bundle install
    
      # setup ssh agent with the private key
      - eval $(ssh-agent -s)
      - ssh-add <(echo "$SSH_PRIVATE_KEY")
      - mkdir -p ~/.ssh
      - '[[ -f /.dockerenv ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config'
    
    deploy_staging:
      stage: deploy
      script:
        # build the website
        - bundle exec jekyll build -d _site
        # copy over all the files into the deployment folder
        - cd _site && rsync -rv -e ssh --checksum ./ deploy@static.kwarc.info:/var/www/SIGMathLing.kwarc.info --delete
      only:
        - master