HOhollerith·Dec 18, 2022
I cloned github.com/microsoft/vscode-docs during my explorations of vscode. It proved much harder for me to work with than the documentation for Emacs is. I downloaded some NPM package (pardon me if I don't look up which one) to serve the markdown files in the repo on a port on my local machine, which worked okay I guess, but I never found a way to search the markdown files that is more graceful than using grep on the markdown files, which gets me the names of the files of interest, then using the aforementioned NPM package to visit the file, then using the find command in my browser to search for the lines of interest that grep printed.
Also, there is a ton of basic information about web development that I needed to learn to try to start modifying my vscode install which of course is not included in that repo (vscode-docs) and I never fo
Read the rest
und an easy way of getting an offline copy of that information. In fact, IIRC I didn't even find troves of markdown files that could be cloned with git or other shell one-liners.
Also, I have actually spent 100s of hours modifying Emacs "in anger" (i.e., although I wasn't getting paid for the work; the work was done as an earnest attempt to make my computing experience better or to make me more productive) while offline. Are you saying you've done the same with vscode? Heck: have you done that with any software implemented on web tech?
I hope I don't sound combative: I really want to know if such a thing would become possible for me if I invested more of my time in learning web tech.
I ask anyone reading this (not just the person I am replying to): is there anyone out there who routinely works on software implemented on web tech (i.e., browser or Electron or such) while disconnected from the net?
For a definition of "disconnected", let us use this: it would take at least a few minutes of work (e.g., I must walk out of my apartment to another part of my apartment building to use the net) or at least a few minutes of waiting (e.g., I have internet service in my apartment, but I usually keep the modem unplugged, and every time I plug it back in, it takes a few minutes for the connection to come up and become usable).