stty -f dev://ccpty0 scrollback
[system] Welcome, alice.

[system] sek 0.1.0

New here?  cat HELLO_WORLD for a tour of the system.

[system] sek 0.1.0
device: ccpty0
user: alice
shell: /bin/sh

[user] alice@sek:~$ 
[assistant] cat HELLO_WORLD

[user] sek is a small UNIX-like shell environment.

What you type is run as a command.

[user] alice@sek:~$ 
[assistant] whoami

[user] alice

[user] alice@sek:~$ 
[assistant] pwd

[user] /home/alice

[user] alice@sek:~$ 
[user] 

[user] alice@sek:~$ 
[assistant] ls -l

[user] HELLO_WORLD

[user] alice@sek:~$ 
[assistant] cat HELLO_WORLD

[user] Welcome to sek!

sek is a virtual *NIX micro-kernel.

You are viewing this file from within a POSIX-adjacent shell.

What you type is run as a command.

The prompt shows your user, host, and current directory and is configureable via
PS1.

Common commands:

  ls          list files in the current directory
  cat FILE    print a file's contents
  cd PATH     change directory
  pwd         show current directory
  echo TEXT   print text
  man CMD     read the manual for a command

Tools you might reach for:

  printf             formatted output
  grep               search text
  head, tail         show the start or end of a file
  touch, rm, mkdir   create and remove files and directories

That's the floor.  Everything else is discoverable by running
commands and reading errors.

HINT: should you hit a standalone '>' prompt, there is an unclosed quotation
      lingering somewhere.

HINT: You can discover more commands by exploring the directories listed under
      the PATH environment variable.

[user] alice@sek:~$ 
[assistant] man cat

[user] NAME
    cat — concatenate and print files.

DESCRIPTION
    With no arguments, copies stdin to stdout.

OPTIONS
    usage: cat [-h] [files ...]

      files
            Files to print.


EXAMPLE
    Print a file::

        cat /etc/passwd

    Read from stdin::

        cat

EXIT STATUS
    0
        Success.
    1
        One or more files not found.

[user] alice@sek:~$ 
[assistant] ls -l

[user] HELLO_WORLD

[user] alice@sek:~$ 
[assistant] cat HELLO_WORLD

[user] Welcome to sek!

sek is a virtual *NIX micro-kernel.

You are viewing this file from within a POSIX-adjacent shell.

What you type is run as a command.

The prompt shows your user, host, and current directory and is configureable via
PS1.

Common commands:

  ls          list files in the current directory
  cat FILE    print a file's contents
  cd PATH     change directory
  pwd         show current directory
  echo TEXT   print text
  man CMD     read the manual for a command

Tools you might reach for:

  printf             formatted output
  grep               search text
  head, tail         show the start or end of a file
  touch, rm, mkdir   create and remove files and directories

That's the floor.  Everything else is discoverable by running
commands and reading errors.

HINT: should you hit a standalone '>' prompt, there is an unclosed quotation
      lingering somewhere.

HINT: You can discover more commands by exploring the directories listed under
      the PATH environment variable.

[user] alice@sek:~$ 
[assistant] cd /

[user] alice@sek:/$ 
[assistant] ls -l

[user] bin

[user] etc

[user] home

[user] root

[user] tmp

[user] var

[user] alice@sek:/$ 
[assistant] cd home/alice

[user] alice@sek:~$ 
[assistant] mkdir Documents

[user] alice@sek:~$ 
[assistant] ls -l

[user] Documents

[user] HELLO_WORLD

[user] alice@sek:~$ 
[assistant] cat HELLO_WORLD

[user] Welcome to sek!

sek is a virtual *NIX micro-kernel.

You are viewing this file from within a POSIX-adjacent shell.

What you type is run as a command.

The prompt shows your user, host, and current directory and is configureable via
PS1.

Common commands:

  ls          list files in the current directory
  cat FILE    print a file's contents
  cd PATH     change directory
  pwd         show current directory
  echo TEXT   print text
  man CMD     read the manual for a command

Tools you might reach for:

  printf             formatted output
  grep               search text
  head, tail         show the start or end of a file
  touch, rm, mkdir   create and remove files and directories

That's the floor.  Everything else is discoverable by running
commands and reading errors.

HINT: should you hit a standalone '>' prompt, there is an unclosed quotation
      lingering somewhere.

HINT: You can discover more commands by exploring the directories listed under
      the PATH environment variable.

[user] alice@sek:~$ 
[assistant] mkdir Notes

[user] alice@sek:~$ 
[assistant] echo "Hello, sek!"

[user] Hello, sek!

[user] alice@sek:~$ 
[assistant] man printf

[user] NAME
    printf — format and print data.

DESCRIPTION
    Formats and prints its arguments under control of a format
    string.  Supports ``%s`` and ``%d`` conversions.

OPTIONS
    usage: printf [-h] format [arguments ...]

      format
            Format string.
      arguments
            Arguments.


EXAMPLE
    Print a formatted string::

        printf '%s is %d' hello 42

EXIT STATUS
    0
        Success.

[user] alice@sek:~$ 
[assistant] printf 'I am user %s in directory %s.\n' alice ~

[user] I am user alice in directory ~.

[user] alice@sek:~$ 
[assistant] exit
 Sek bye.

root@sek:~# 