code-server/src/common/util.ts

63 lines
1.7 KiB
TypeScript
Raw Normal View History

2020-02-05 03:27:46 +08:00
import { logger } from "@coder/logger"
2020-02-05 08:16:45 +08:00
import { Application } from "../common/api"
2020-02-05 03:27:46 +08:00
export interface Options {
2020-02-05 08:16:45 +08:00
app?: Application
2020-02-06 07:30:09 +08:00
authed: boolean
basePath: string
logLevel: number
2020-02-05 03:27:46 +08:00
}
2019-10-29 03:03:13 +08: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 03:27:46 +08: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("")
}
/**
* Get options embedded in the HTML from the server.
*/
export const getOptions = <T extends Options>(): T => {
2020-02-05 08:16:45 +08:00
if (typeof document === "undefined") {
return {} as T
}
2020-02-05 03:27:46 +08:00
const el = document.getElementById("coder-options")
try {
if (!el) {
throw new Error("no options element")
}
const value = el.getAttribute("data-settings")
if (!value) {
throw new Error("no options value")
}
const options = JSON.parse(value)
if (typeof options.logLevel !== "undefined") {
logger.level = options.logLevel
}
return options
} catch (error) {
logger.warn(error.message)
return {} as T
}
}
2020-02-05 08:16:45 +08:00
/**
* Remove extra slashes in a URL.
*/
export const normalize = (url: string, keepTrailing = false): string => {
return url.replace(/\/\/+/g, "/").replace(/\/+$/, keepTrailing ? "/" : "")
}