Skip to content

Commit

Permalink
attempt the correct base URL
Browse files Browse the repository at this point in the history
  • Loading branch information
gtfierro committed Oct 3, 2024
1 parent c5cff42 commit 033c0fc
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 4 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/build-explorer.yml
Original file line number Diff line number Diff line change
Expand Up @@ -68,14 +68,14 @@ jobs:
run: |
git checkout package.json
npx rdf add file "https://brickschema.org/schema/1.3/Brick" vocab/brick/1.3/Brick.ttl
npx rdf make site --output public/1.3
npx rdf make site --output public/1.3 -B 1.3
- name: handle brick 1.4
working-directory: rdf-toolkit/explorer
run: |
git checkout package.json
npx rdf add file "https://brickschema.org/schema/1.4/Brick" vocab/brick/1.4/Brick.ttl
npx rdf make site --output public/1.4
npx rdf make site --output public/1.4 -B 1.3
- name: rewrite for version navigation
run: find rdf-toolkit/explorer/public -name "*.html" | xargs -n 1 -P 4 uv run add_versions.py
Expand Down
7 changes: 5 additions & 2 deletions add_versions.py
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,11 @@

select = soup.new_tag('select', {'id': 'brickVersionDropdown'})
# create options
for text, href in links.items():
option = soup.new_tag('option', value=href)
for index,(text, href) in enumerate(links.items()):
if index == 0:
option = soup.new_tag('option', value=href, selected='selected')
else:
option = soup.new_tag('option', value=href)
option.string = text
select.append(option)
# add the brickVersionDropdown id to the select tag
Expand Down

0 comments on commit 033c0fc

Please sign in to comment.