Skip to content

Fix the version switcher for the docs - #258

Merged
StephenNneji merged 1 commit into
RascalSoftware:mainfrom
StephenNneji:fix_version_switcher
Sep 30, 2026
Merged

StephenNneji merged 1 commit into
RascalSoftware:mainfrom
StephenNneji:fix_version_switcher

Conversation

@StephenNneji

Copy link
Copy Markdown
Contributor

version switcher should now show up next to the logo

Screenshot 2026-09-30 145824

@MikeSullivan7

Copy link
Copy Markdown
Collaborator

I've just tested this and I it shows like this for me:
image

Not quite sure why yet

@MikeSullivan7

Copy link
Copy Markdown
Collaborator

Im getting this in doc/source/conf.py:
os.environ.get('DOC_URL', '')=''
leading to:

The version switcher "switcher.json" file cannot be read due to the following error:
FileNotFoundError(2, 'No such file or directory')

The DOC_URL must not be set in my environment properly

@StephenNneji

Copy link
Copy Markdown
Contributor Author

It needs a switcher. json which is generated on deploy in deploy.py. You can test by adding `os.environ['DOC_URL'] = 'https://rascalsoftware.github.io/RasCAL-2/' into the conf.py before line 22 so it grabs the switcher file from the ghpages

@MikeSullivan7 MikeSullivan7 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Works as intended once `os.environ['DOC_URL'] = 'https://rascalsoftware.github.io/RasCAL-2/' was set in my local files.

@StephenNneji

Copy link
Copy Markdown
Contributor Author

Thanks for the speedy review, much appreciated

@StephenNneji
StephenNneji merged commit 9ab9948 into RascalSoftware:main Sep 30, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants