juli/OrcaSlicer
1
1
Fork 0
mirror of https://github.com/OrcaSlicer/OrcaSlicer.git synced 2026-05-27 15:15:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Updated Wiki content

OrcaSlicerBot
2026-01-21 18:41:24 +00:00
parent 60e31ea445
commit 4151489374
2 changed files with 17 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
build.ps1

@@ -207,10 +207,16 @@ Get-ChildItem -Path wiki -Filter *.html -Recurse | Where-Object { $_.Name -ne 'i
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta http-equiv="refresh" content="0; url=$encodedUrl">
<link rel="canonical" href="$encodedUrl">
<script>window.location.replace("$encodedUrl");</script>
<meta charset="utf-8">
<meta http-equiv="refresh" content="0; url=$encodedUrl">
<link rel="canonical" href="$encodedUrl">
<script>
(function() {
var hash = window.location.hash || "";
var target = "$encodedUrl" + hash;
window.location.replace(target);
})();
</script>
</head>
<body>
<p>Redirecting to <a href="$encodedUrl">$filename</a>...</p>

8
build.sh

@@ -183,7 +183,13 @@ create_redirects() {
<meta charset="utf-8">
<meta http-equiv="refresh" content="0; url=${encoded_url}">
<link rel="canonical" href="${encoded_url}">
<script>window.location.replace("${encoded_url}");</script>
<script>
(function() {
var hash = window.location.hash || "";
var target = "${encoded_url}" + hash;
window.location.replace(target);
})();
</script>
</head>
<body>
<p>Redirecting to <a href="${encoded_url}">${filename}</a>...</p>