I've made a mock-up to illustrate my ideas about the next-gen terminal experience!
• the pathbar
• username, hostname and git branch displayed in the UI, shrinking the shell prompt back to just a $
• commands as cards
• syntax highlighting, including graying out the output a bit to differentiate it from commands themselves
• autocompletion (displayed in a native widget)
• built-in error handling options
• the time each command took (on the right)
"I very recently worked on the Edge team, and one of the reasons we decided to end EdgeHTML was because Google kept making changes to its sites that broke other browsers, and we couldn't keep up." https://news.ycombinator.com/item?id=18697824
@aral @Purism @gnome today I was told that google G Suite for education has 70m+ customers and that in the USA, two schools in three are using it. I haven't checked this figure, but if it is even close to being true we are placing the data of millions of children into the hands of the largest dealer in data on earth - before we even give them a choice.
A whole generation sold into data serfdom.
We have to get the technology you are talking about into the hands of educators.
I'm trying to design a text processing language that's elegant and concise. I'm failing.
pad :: ([1^.* 5^.] [2^.* 6^.] :: [1 2] -> pad -> [3^.*] [4^.*] :: [3 5] [2 4]) | ( [1^.* 2^.] ::   -> pad -> [3^.* 4^.*] :: [3 '0'] [4 2]) | ([1^.* 2^.]  ::   -> pad -> [3^.* 4^.*] :: [4 '0'] [3 2])
I write computer programs. Sometimes they do useful things, but I try to keep that to a minimum. He/him/they/them
ｃｙｂｒｅｓｐａｃｅ: the social hub of the information superhighway
jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal