Editor · port 12 of 14

Bigface for micro

A colour scheme for the micro terminal editor.

Format-checked only1 file
main.ts
// main.ts — colours, not a screenshot.import { greet } from "./hello"; type User = { id: number; name: string }; const ENDPOINT = "https://api.example.com/users"; export async function main(ids: number[]): Promise<void> {  const res = await fetch(ENDPOINT);  if (!res.ok) throw new Error(`users: ${res.status}`);  const all: User[] = await res.json();  const picked = all.filter((u) => ids.includes(u.id));  picked.forEach((u) => greet(u.name));}

Install

curl -fsSL https://bigface.qqntt.com/install.sh | sh -s -- micro
Writes Bigface's own file, prints the one line to add.

It never edits your config; it prints the one line you still need to add (or remove).Read the script first, or add --dry-run.

Or do it by hand
  1. Copy bigface.micro to ~/.config/micro/colorschemes/.
  2. In micro press ctrl-e and run set colorscheme bigface. Needs a truecolor terminal (COLORTERM=truecolor).

Download

What was checked

Format-checked onlyFormat-checked against micro's documented syntax. micro is not installed here, so it was not run.

bigface.micro

themes/micro/bigface.micro
# Bigface — https://github.com/gjuoun/bigface-theme
# Install: copy to ~/.config/micro/colorschemes/bigface.micro, then in micro: set colorscheme bigface
# Needs a truecolor terminal (COLORTERM=truecolor).
color-link default "#d9d9d4,#252925"
color-link comment "#75715e,#252925"
color-link identifier "#00c853,#252925"
color-link identifier.class "#c6ff00,#252925"
color-link identifier.macro "#fc5d23,#252925"
color-link identifier.var "#00c853,#252925"
color-link constant "#ae81ff,#252925"
color-link constant.string "#e5e500,#252925"
color-link constant.string.url "underline #00b0ff,#252925"
color-link constant.number "#fc5d23,#252925"
color-link constant.bool "#ae81ff,#252925"
color-link constant.specialChar "#fc5d23,#252925"
color-link statement "#00b0ff,#252925"
color-link symbol "#d9d9d4,#252925"
color-link symbol.operator "#ffeb3b,#252925"
color-link symbol.brackets "#d9d9d4,#252925"
color-link symbol.tag "#40c4ff,#252925"
color-link preproc "#00b0ff,#252925"
color-link type "#66d9ef,#252925"
color-link type.keyword "#00b0ff,#252925"
color-link special "#c6ff00,#252925"
color-link underlined "underline #00b0ff,#252925"
color-link error "bold #f52670,#252925"
color-link todo "bold #fc5d23,#252925"
color-link hlsearch "#252621,#ffe792"
color-link selection "#d9d9d4,#646464"
color-link statusline "#9c9a8f,#1f231f"
color-link statusline.inactive "#6e6b68,#1f231f"
color-link tabbar "#6e6b68,#1f231f"
color-link tabbar.active "#d9d9d4,#252925"
color-link indent-char "#494848,#252925"
color-link line-number "#6e6b68,#252925"
color-link current-line-number "#d9d9d4,#3b3c32"
color-link gutter-info "#40c4ff,#252925"
color-link gutter-error "#f52670,#252925"
color-link gutter-warning "#ff9800,#252925"
color-link diff-added "#8bc34a"
…

Generated from the palette. Source:themes/micro.