Interface Location

pkg/shell/util.tsx:11–15

import { Machine } from "./machines/machines";

export interface Location {
    host: string;
    path: string;
    hash: string;
}

export function encode_location(location: Partial<Location>): string {
    const shell_embedded = window.location.pathname.indexOf(".html") !== -1;