stevekrouse
jonathoda
06/02/2019, 4:58 PMjonathoda
06/02/2019, 5:00 PMjonathoda
06/02/2019, 5:20 PMfyr
06/02/2019, 5:33 PMfyr
06/02/2019, 5:52 PMKeyboard
object that represents a keystroke log, but you don't necessarily want a keystroke log, and you definitely don't want every piece of code to implicitly have the capability to read your password. A real operating system usually has the concept of "keyboard focus", even if it's a tty - I believe when I tried pharo the Form
and Keyboard
objects did collaborate in this manner, and their combined code is something I would describe as an OS layer. It is above the language itself, but below what is normally considered application code, or even the standard library which may be somewhat frequently revised; if you were to try load in two versions of it they would hopefully explicitly conflict, but failing that the results would be unpredictable and almost certainly undesirable.
It is of course possible to architect a system where inconveniencing yourself in this manner is easy(load in a third-party program package) vs hard (compile kernel module, sudo, load kernel module) ^-^fyr
06/02/2019, 5:57 PMDoug Moen
06/02/2019, 6:26 PMfyr
06/02/2019, 6:50 PMubuntu-minimal
subset to be truly the operating system part: things like less
and sudo
As for dotfiles, it depends: is there a .emacs
? Would removing the .emacs
make the system in everyday use noticeably less turing-complete, in a somewhat metaphorical sense?fyr
06/02/2019, 7:00 PM~/.config/google-chrome/Default/Cookies
is distinct from an operating system, while ~/.config/google-chrome/Default/Extensions/cjpalhdlnbpafiamejdnhcphjbkeiagm/1.19.6_0/assets/ublock/filters.txt
can be argued to be part of the foundational collection of software necessary to abstract interaction with modern hardware and software - it's certainly orthogonal to the direct performance of most computing tasksfyr
06/02/2019, 7:04 PMshalabh
06/04/2019, 9:26 PMsome sort of infrastructural system which is consumed by many different applications written by many different people.