1
0
silverbullet/plugs/core/page.ts

220 lines
6.1 KiB
TypeScript
Raw Normal View History

2022-03-20 09:22:38 +00:00
import { IndexEvent } from "../../webapp/app_event";
2022-04-01 15:07:08 +00:00
import {
batchSet,
clearPageIndex as clearPageIndexSyscall,
clearPageIndexForPage,
2022-04-05 15:02:17 +00:00
scanPrefixGlobal
2022-04-01 15:07:08 +00:00
} from "plugos-silverbullet-syscall/index";
import {
flashNotification,
getCurrentPage,
getText,
matchBefore,
navigate,
prompt
} from "plugos-silverbullet-syscall/editor";
2022-04-01 15:07:08 +00:00
import { dispatch } from "plugos-syscall/event";
2022-04-05 15:02:17 +00:00
import { deletePage as deletePageSyscall, listPages, readPage, writePage } from "plugos-silverbullet-syscall/space";
import { invokeFunction } from "plugos-silverbullet-syscall/system";
import { parseMarkdown } from "plugos-silverbullet-syscall/markdown";
import {
addParentPointers,
collectNodesMatching,
2022-04-11 18:34:09 +00:00
ParseTree,
renderToText,
replaceNodesMatching
2022-04-11 18:34:09 +00:00
} from "../../common/tree";
import { applyQuery, QueryProviderEvent } from "../query/engine";
import { PageMeta } from "../../common/types";
2022-02-28 13:35:51 +00:00
export async function indexLinks({ name, text }: IndexEvent) {
let backLinks: { key: string; value: string }[] = [];
2022-03-14 09:07:38 +00:00
// [[Style Links]]
2022-03-28 13:25:05 +00:00
console.log("Now indexing", name);
let mdTree = await parseMarkdown(text);
collectNodesMatching(mdTree, (n) => n.type === "WikiLinkPage").forEach(
(n) => {
let toPage = n.children![0].text!;
if (toPage.includes("@")) {
toPage = toPage.split("@")[0];
}
backLinks.push({
key: `pl:${toPage}:${n.from}`,
value: name,
});
2022-03-28 13:25:05 +00:00
}
);
2022-02-28 13:35:51 +00:00
console.log("Found", backLinks.length, "wiki link(s)");
2022-04-01 15:07:08 +00:00
await batchSet(name, backLinks);
2022-02-28 13:35:51 +00:00
}
export async function pageQueryProvider({
query,
}: QueryProviderEvent): Promise<string> {
let allPages = await listPages();
let markdownPages = applyQuery(query, allPages).map(
(pageMeta: PageMeta) => `* [[${pageMeta.name}]]`
);
return markdownPages.join("\n");
}
export async function linkQueryProvider({
query,
pageName,
}: QueryProviderEvent): Promise<string> {
let uniqueLinks = new Set<string>();
for (let { value: name } of await scanPrefixGlobal(`pl:${pageName}:`)) {
uniqueLinks.add(name);
}
let markdownLinks = applyQuery(
query,
[...uniqueLinks].map((l) => ({ name: l }))
).map((pageMeta) => `* [[${pageMeta.name}]]`);
return markdownLinks.join("\n");
}
2022-02-28 13:35:51 +00:00
export async function deletePage() {
2022-04-01 15:07:08 +00:00
let pageName = await getCurrentPage();
2022-02-28 13:35:51 +00:00
console.log("Navigating to start page");
2022-04-01 15:07:08 +00:00
await navigate("start");
2022-02-28 13:35:51 +00:00
console.log("Deleting page from space");
2022-04-01 15:07:08 +00:00
await deletePageSyscall(pageName);
2022-02-28 13:35:51 +00:00
}
export async function renamePage() {
2022-04-01 15:07:08 +00:00
const oldName = await getCurrentPage();
2022-03-03 09:35:32 +00:00
console.log("Old name is", oldName);
2022-04-01 15:07:08 +00:00
const newName = await prompt(`Rename ${oldName} to:`, oldName);
2022-02-28 13:35:51 +00:00
if (!newName) {
return;
}
console.log("New name", newName);
let pagesToUpdate = await getBackLinks(oldName);
console.log("All pages containing backlinks", pagesToUpdate);
2022-04-01 15:07:08 +00:00
let text = await getText();
2022-02-28 13:35:51 +00:00
console.log("Writing new page to space");
2022-04-01 15:07:08 +00:00
await writePage(newName, text);
2022-02-28 13:35:51 +00:00
console.log("Navigating to new page");
2022-04-01 15:07:08 +00:00
await navigate(newName);
2022-03-23 14:41:12 +00:00
console.log("Deleting page from space");
2022-04-01 15:07:08 +00:00
await deletePageSyscall(oldName);
2022-02-28 13:35:51 +00:00
let pageToUpdateSet = new Set<string>();
for (let pageToUpdate of pagesToUpdate) {
pageToUpdateSet.add(pageToUpdate.page);
}
for (let pageToUpdate of pageToUpdateSet) {
2022-04-10 09:04:07 +00:00
if (pageToUpdate === oldName) {
continue;
}
2022-02-28 13:35:51 +00:00
console.log("Now going to update links in", pageToUpdate);
2022-04-01 15:07:08 +00:00
let { text } = await readPage(pageToUpdate);
// console.log("Received text", text);
2022-02-28 13:35:51 +00:00
if (!text) {
// Page likely does not exist, but at least we can skip it
continue;
}
let mdTree = await parseMarkdown(text);
addParentPointers(mdTree);
2022-04-11 18:34:09 +00:00
replaceNodesMatching(mdTree, (n): ParseTree | undefined | null => {
if (n.type === "WikiLinkPage") {
let pageName = n.children![0].text!;
if (pageName === oldName) {
n.children![0].text = newName;
return n;
}
// page name with @pos position
if (pageName.startsWith(`${oldName}@`)) {
let [, pos] = pageName.split("@");
n.children![0].text = `${newName}@${pos}`;
return n;
}
}
return;
});
// let newText = text.replaceAll(`[[${oldName}]]`, `[[${newName}]]`);
2022-04-11 18:34:09 +00:00
let newText = renderToText(mdTree);
2022-02-28 13:35:51 +00:00
if (text !== newText) {
console.log("Changes made, saving...");
2022-04-01 15:07:08 +00:00
await writePage(pageToUpdate, newText);
2022-02-28 13:35:51 +00:00
}
}
}
type BackLink = {
page: string;
pos: number;
};
async function getBackLinks(pageName: string): Promise<BackLink[]> {
2022-04-01 15:07:08 +00:00
let allBackLinks = await scanPrefixGlobal(`pl:${pageName}:`);
2022-02-28 13:35:51 +00:00
let pagesToUpdate: BackLink[] = [];
for (let { key, value } of allBackLinks) {
let keyParts = key.split(":");
pagesToUpdate.push({
page: value,
pos: +keyParts[keyParts.length - 1],
});
}
return pagesToUpdate;
}
2022-03-28 13:25:05 +00:00
export async function reindexCommand() {
2022-04-01 15:07:08 +00:00
await flashNotification("Reindexing...");
2022-04-05 15:02:17 +00:00
await invokeFunction("server", "reindexSpace");
2022-04-01 15:07:08 +00:00
await flashNotification("Reindexing done");
2022-03-28 13:25:05 +00:00
}
2022-03-29 10:13:46 +00:00
// Completion
export async function pageComplete() {
2022-04-01 15:07:08 +00:00
let prefix = await matchBefore("\\[\\[[\\w\\s]*");
2022-03-29 10:13:46 +00:00
if (!prefix) {
return null;
}
2022-04-01 15:07:08 +00:00
let allPages = await listPages();
2022-03-29 10:13:46 +00:00
return {
from: prefix.from + 2,
2022-04-01 15:07:08 +00:00
options: allPages.map((pageMeta) => ({
2022-03-29 10:13:46 +00:00
label: pageMeta.name,
type: "page",
})),
};
}
2022-03-28 13:25:05 +00:00
// Server functions
export async function reindexSpace() {
console.log("Clearing page index...");
2022-04-01 15:07:08 +00:00
await clearPageIndexSyscall();
2022-03-28 13:25:05 +00:00
console.log("Listing all pages");
2022-04-01 15:07:08 +00:00
let pages = await listPages();
2022-03-28 13:25:05 +00:00
for (let { name } of pages) {
console.log("Indexing", name);
2022-04-01 15:07:08 +00:00
const pageObj = await readPage(name);
await dispatch("page:index", {
2022-03-28 13:25:05 +00:00
name,
text: pageObj.text,
});
}
}
export async function clearPageIndex(page: string) {
console.log("Clearing page index for page", page);
2022-04-01 15:07:08 +00:00
await clearPageIndexForPage(page);
2022-02-28 13:35:51 +00:00
}
2022-04-09 12:28:41 +00:00
2022-04-11 18:34:09 +00:00
export async function parseServerPageCommand() {
console.log(await invokeFunction("server", "parsePage", await getText()));
}
export async function parsePageCommand() {
parsePage(await getText());
}
export async function parsePage(text: string) {
console.log("AST", JSON.stringify(await parseMarkdown(text), null, 2));
2022-04-09 12:28:41 +00:00
}