chore: search fixes

vkarpov15 · vkarpov15 · commit 48179b42b080 · 2022-12-27T17:34:45.000-05:00
diff --git a/docs/js/search.js b/docs/js/search.js
@@ -26,7 +26,7 @@ if (q != null) {
         var html = '';
         for (var i = 0; i < result.results.length; ++i) {
           var res = result.results[i];
-          var url = res.url.replace(/^\//, '');
+          var url = res.url;
           html += '<li>' +
             '<a class="title" href="' + url + '">' +
             res.title +
diff --git a/docs/search.js b/docs/search.js
@@ -122,7 +122,8 @@ async function run() {
   await Content.deleteMany({ version });
   for (const content of contents) {
     if (version !== '6.x') {
-      content.url = `/docs/${version}/docs${content.url}`;
+      const url = content.url.startsWith('/') ? content.url : `/${content.url}`;
+      content.url = `/docs/${version}/docs${url}`;
     }
     await content.save();
   }

Original file line number	Diff line number	Diff line change
`@@ -122,7 +122,8 @@ async function run() {`
`122`	`122`	`await Content.deleteMany({ version });`
`123`	`123`	`for (const content of contents) {`
`124`	`124`	`if (version !== '6.x') {`
`125`		- content.url = `/docs/${version}/docs${content.url}`;
	`125`	+ const url = content.url.startsWith('/') ? content.url : `/${content.url}`;
	`126`	+ content.url = `/docs/${version}/docs${url}`;
`126`	`127`	`}`
`127`	`128`	`await content.save();`
`128`	`129`	`}`