Skip to content

Add controls to make name column wider or narrower #87

Add controls to make name column wider or narrower

Add controls to make name column wider or narrower #87

Workflow file for this run

name: Generate files
on:
push:
branches-ignore:
- 'gh-pages'
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
cancel-in-progress: true
jobs:
generate-files:
runs-on: ubuntu-latest
steps:
- run: echo "The job was automatically triggered by a ${{ github.event_name }} event."
- run: echo "The name of your branch is ${{ github.ref }} and your repository is ${{ github.repository }}."
- name: Check out repository code
uses: actions/checkout@v4
- run: echo "The ${{ github.repository }} repository has been cloned to the runner."
- name: Generate the files in docker
run: scripts/run.sh
- run: ls scripts/dist/ -lh
- name: Deploy ssh key
if: ${{ github.ref_name == 'master' && github.repository == 'OSGeo/spatialreference.org' }}
shell: bash -l {0}
run: |
mkdir $HOME/.ssh && echo "${{ secrets.SSH_PRIVATE_KEY }}" > $HOME/.ssh/id_rsa
chmod 700 $HOME/.ssh && chmod 600 $HOME/.ssh/id_rsa
ssh-keyscan -t rsa github.com >> $HOME/.ssh/known_hosts
eval `ssh-agent -s`
ssh-add $HOME/.ssh/id_rsa
- name: Deploy to gh-pages
if: ${{ github.ref_name == 'master' && github.repository == 'OSGeo/spatialreference.org' }}
shell: bash -l {0}
run: |
set -x
set -e
cd scripts/dist/
git init
git checkout -b gh-pages
git remote add origin [email protected]:OSGeo/spatialreference.org.git
git config user.email "[email protected]"
git config user.name "spatialreference.org deploybot"
touch .nojekyll
echo "spatialreference.org" > CNAME
git add -A
git commit -m "update with results of commit ${{ github.sha }}"
git push -f origin gh-pages
- name: Deploy ssh key for scratch site (pull request)
if: ${{ github.event_name == 'pull_request' && github.ref_name != 'master' && github.repository == 'OSGeo/spatialreference.org' }}
shell: bash -l {0}
run: |
sudo apt install hxtools
mkdir $HOME/.ssh
# Note: this is obviously unsecure !!! But we don't mind if the content of sr-org-scratch/sr-org-scratch is "compromised"
cat .github/workflows/some_secret.txt | rot13 > $HOME/.ssh/id_rsa
chmod 700 $HOME/.ssh && chmod 600 $HOME/.ssh/id_rsa
ssh-keyscan -t rsa github.com >> $HOME/.ssh/known_hosts
eval `ssh-agent -s`
ssh-add $HOME/.ssh/id_rsa
- name: Deploy HTML pages to scratch site (pull request)
if: ${{ github.event_name == 'pull_request' && github.ref_name != 'master' && github.repository == 'OSGeo/spatialreference.org' }}
shell: bash -l {0}
run: |
set -x
set -e
cd scripts/dist/
git init
git remote add origin [email protected]:sr-org-scratch/sr-org-scratch.github.io.git
git config user.email "[email protected]"
git config user.name "spatialreference.org deploybot"
touch .nojekyll
echo "User-agent: * Disallow: /" > robots.txt
git add -A
git commit -m "update with results of commit ${{ github.sha }}"
git push -f origin master