Skip to content
Kolahal

Parts of the app

The guide calls each part of Kolahal by a name: the header line, the strip, the key bar. Here they are, numbered on the app’s own screens, so you know what each one is when you read about it. The screenshots use the default theme, green.

Home screen

Section titled “Home screen”

From top to bottom: the header (1–4), the log (5–10) and the prompt (11–12). See Basics for each.

Kolahal's home screen: the header with clock, date and items, a script's status line, the log with four groups, and the prompt
  1. Clock and date. Tap for your alarms.
  2. Header items: unlocks, battery, open to-dos and the rest, each one tappable.
  3. ⚙︎ opens Settings.
  4. Header line: a script’s status line (here, countdown’s). Tap it to run the script.
  5. Empty log space. Tap it for the keyboard; double-tap it to lock the screen.
  6. A group: a command and its output, with a gap above it.
  7. Gutter bar: green beside commands, a script’s colour beside its lines, red beside errors.
  8. Time, on each group’s first line.
  9. A command you typed. Tap it to put it back in the prompt.
  10. Output. Long-press any line for its actions.
  11. Prompt ($). Tap the $ for quick actions.
  12. Key bar button (⌨): turns the key bar on or off.
  13. App selector handle, on the edge, when the app selector is on.

While you type

Section titled “While you type”

The header shrinks so the suggestions get the room, and the key bar sits on the keyboard.

Typing ma at the prompt: the one-line header, the suggestion list with Maps highlighted at the bottom, the prompt and the key bar
  1. The header, one line while you type, with how many status lines it hides.
  2. Expand: the whole header again.
  3. The log, older output dimmed.
  4. Suggestion strip: the apps, commands and settings that match.
  5. A command suggestion, with what it does.
  6. Best match, highlighted at the bottom, nearest your thumb: Enter (↵) opens it.
  7. The prompt, with what you typed.
  8. Clear (✕) empties the prompt.
  9. Key bar: the keys a terminal needs (history, Tab, arrows, Enter), above the keyboard.

App selector

Section titled “App selector”

Turn it on in Settings → App selector. Touch the edge where the handle is, slide along it to a letter, slide off onto the list to an app, and lift. Basics has the details.

Sliding along the edge

Sliding along the right edge at G: the panel of apps on the left, Gmail and Google bright, the G bubble beside the thumb and the letters fanning out from the edge
  1. Panel: every app in one list, favourites (★) first or last, then A to Z.
  2. Section letter, in the panel’s margin.
  3. The letter’s apps, bright, starting level with your thumb.
  4. Other letters’ apps, faded back.
  5. Bubble: the letter you’re on, big beside your thumb.
  6. Wave: the letters next to it, bulging out so you see which way to go.
  7. Strip: the part of the edge you slide on, each letter where its stretch is.
  8. Home, dimmed while the selector is open.

Picking from the list

Picking Gmail: its row magnified and filling with the theme colour, the rows beside it slightly larger
  1. The app at your thumb, magnified; move up and down to change it, lift to open it.
  2. Hold fill: hold still and the row fills; when it’s full, the app opens.
  3. Its neighbours, a little larger, so you can see where you are.

Left open (lift on the edge)

The app list left open: wide, almost to the edge, under the header
  1. The list, left open, almost as wide as the screen, so your thumb reaches every row. Fling it, tap an app, or long-press one for its actions.
  2. Room at its start, so the letter you tapped keeps its apps beside it.
  3. Strip: slide along it again from here.

Action sheet and quick actions

Section titled “Action sheet and quick actions”

Long-press a line in the log for its action sheet; tap the $ for quick actions.

The action sheet for a to-do line: the line, when it arrived, its actions and two delete actions in red
  1. The line you long-pressed.
  2. When it arrived, to the second.
  3. Its actions: run again, edit in the prompt, copy, and whatever else applies to the line.
  4. Delete, in red, last.
Quick actions: Settings, Notifications, Alarms and clock, Battery, Network, Unlocks this week, Apps, Widgets, Feeds, Scripts and Lock screen
  1. Quick actions: what the header offers, within reach of your thumb.
  2. Live icons: battery and network as they are right now.

Widgets page

Section titled “Widgets page”

Swipe sideways on home to reach it. See Widgets.

The widgets page with a digital clock widget, + Add and Edit at the top
  1. Widgets page, beside the terminal.
  2. + Add a widget.
  3. Edit: size and move your widgets.
  4. A widget.

Settings

Section titled “Settings”

Tap ⚙︎ in the header, or type settings. See Themes & settings.

The Settings screen: Settings, Scripts and Feeds tabs, a search box and the pages Look and feel, Home screen, App selector, Log, Typing, Launching and search and Gestures
  1. Settings tab: every setting, page by page.
  2. Scripts tab: the script manager.
  3. Feeds tab.
  4. Search: finds any setting.
  5. A page of related settings.

Scripts tab

Section titled “Scripts tab”

The script manager: a card per script. See Scripting.

The Scripts tab: filter chips, two tinted cards for scripts that are on, one with its details open, and a faded card for a script that is off
  1. Filter chips: commands, timers, events, failed, off, differs from the library and more, each with how many.
  2. Search scripts by name.
  3. All details: opens or closes every card’s details.
  4. A script that’s on: its card is tinted in the theme’s colour.
  5. Dot: on, failed (red) or off (grey).
  6. Title and file name.
  7. Run, for a command script.
  8. Details arrow: this card’s details.
  9. On/off switch.
  10. Summary: how it runs, its last run, and “edited” if you changed it.
  11. Its header line, as it is now.
  12. Pills: what it may use, filled when on and faded when off; a tap switches one.
  13. Compare your copy with the library version.
  14. Reset to library version.
  15. A script that’s off: its card fades.
  16. Add script: write one, or take one from the library, from other people or from a file.

Script editor

Section titled “Script editor”

script edit <name>, or Edit in a script’s sheet. See Editor.

The script editor: the file name and the find, help, save, run and close buttons at the top, numbered lines of code, and the symbol bar
  1. File name, with * while there are unsaved changes.
  2. Find (and replace).
  3. [?]: the whole scripting API, in short.
  4. [save]
  5. [run]: saves, then runs it; its lines show under the code. A long press runs it with words as its arguments, or as one of its events.
  6. [close]: saves and closes.
  7. Line numbers.
  8. Undo and redo.
  9. Symbol bar: the brackets and symbols code needs, above the keyboard.