Skip to content

added script and html for Documenter Navigation #77

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 7 commits into from
Jun 21, 2024
Merged

added script and html for Documenter Navigation #77

Show file tree
Hide file tree
Changes from 6 commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
e72fb62
added script and html for Documenter Navigation
shravanngoswamii Jun 21, 2024
7d7f89b
fixed NAVBAR URL
shravanngoswamii Jun 21, 2024
d1da755
Update assets/scripts/insert_navbar.sh
yebai Jun 21, 2024
b087373
Create README.md
yebai Jun 21, 2024
8eacc92
removed extra line
shravanngoswamii Jun 21, 2024
5d57545
Update assets/scripts/navbar.html
shravanngoswamii Jun 21, 2024
90db7d8
Update README.md
yebai Jun 21, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions assets/scripts/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
This `scripts` folder contains utilities for building Turing language satellite packages' documentation.

- `insert_navbar.sh`: This function inserts a MultiDocumenter-style top navigation bar to `Documenter.jl` generated sites.
- `navbar.html`: the content of the top navigation bar inserted by `insert_navbar.sh`.
33 changes: 33 additions & 0 deletions assets/scripts/insert_navbar.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
#!/bin/bash

# This script inserts a top navigation bar (e.g., `navbar.html`) into Documenter.jl generated sites.
# The resulting output is similar to MultiDocumenter's navigation menu. The navigation menu is
# hard-coded at the moment, which could be improved in the future.

# URL of the navigation bar HTML file
NAVBAR_URL="https://raw.githubusercontent.com/TuringLang/turinglang.github.io/main/assets/scripts/navbar.html"

# Directory containing HTML files (passed as the first argument to the script)
HTML_DIR=$1

# Download the navigation bar HTML content
NAVBAR_HTML=$(curl -s $NAVBAR_URL)

# Check if the download was successful
if [ -z "$NAVBAR_HTML" ]; then
echo "Failed to download navbar HTML"
exit 1
fi

# Process each HTML file in the directory
for file in $(find $HTML_DIR -name "*.html"); do
# Read the contents of the HTML file
file_contents=$(cat "$file")

# Insert the navbar HTML after the <body> tag
updated_contents="${file_contents/$'<body>'/$'<body>\n'$NAVBAR_HTML}"

# Write the updated contents back to the file
echo "$updated_contents" > "$file"
echo "Updated $file"
done
Loading