code-server/src/common/util.ts

78 lines
2.1 KiB
TypeScript
Raw Normal View History

2020-03-17 00:43:32 +07:00
import { logger, field } from "@coder/logger"
2020-02-05 02:27:46 +07:00
export interface Options {
base: string
commit: string
2020-02-06 06:30:09 +07:00
logLevel: number
2020-03-17 00:43:32 +07:00
pid?: number
2020-02-05 02:27:46 +07:00
}
2019-10-29 02:03:13 +07:00
/**
* Split a string up to the delimiter. If the delimiter doesn't exist the first
* item will have all the text and the second item will be an empty string.
*/
export const split = (str: string, delimiter: string): [string, string] => {
2020-02-05 02:27:46 +07:00
const index = str.indexOf(delimiter)
return index !== -1 ? [str.substring(0, index).trim(), str.substring(index + 1)] : [str, ""]
}
export const plural = (count: number): string => (count === 1 ? "" : "s")
export const generateUuid = (length = 24): string => {
const possible = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"
return Array(length)
.fill(1)
.map(() => possible[Math.floor(Math.random() * possible.length)])
.join("")
}
/**
* Remove extra slashes in a URL.
*/
export const normalize = (url: string, keepTrailing = false): string => {
return url.replace(/\/\/+/g, "/").replace(/\/+$/, keepTrailing ? "/" : "")
}
2020-02-05 02:27:46 +07:00
/**
2020-03-17 00:43:32 +07:00
* Get options embedded in the HTML or query params.
2020-02-05 02:27:46 +07:00
*/
export const getOptions = <T extends Options>(): T => {
2020-03-17 00:43:32 +07:00
let options: T
2020-02-05 02:27:46 +07:00
try {
2020-03-17 00:43:32 +07:00
const el = document.getElementById("coder-options")
2020-02-05 02:27:46 +07:00
if (!el) {
throw new Error("no options element")
}
const value = el.getAttribute("data-settings")
if (!value) {
throw new Error("no options value")
}
2020-03-17 00:43:32 +07:00
options = JSON.parse(value)
} catch (error) {
options = {} as T
}
const params = new URLSearchParams(location.search)
const queryOpts = params.get("options")
if (queryOpts) {
options = {
...options,
2020-03-17 00:43:32 +07:00
...JSON.parse(queryOpts),
}
2020-02-05 02:27:46 +07:00
}
2020-03-17 00:43:32 +07:00
if (typeof options.logLevel !== "undefined") {
logger.level = options.logLevel
}
if (options.base) {
const parts = location.pathname.replace(/^\//g, "").split("/")
parts[parts.length - 1] = options.base
const url = new URL(location.origin + "/" + parts.join("/"))
options.base = normalize(url.pathname, true)
}
logger.debug("got options", field("options", options))
return options
2020-02-05 02:27:46 +07:00
}