Microsoft seems to prefer you installed WSL through their Windows Store, but the problem is that this Store does not exist on the server versions of Windows 10. This gist is therefore my notes on how to install it manually, using PowerShell.
[The official guide][1] is already quite short and informative, so this will basically just be a recap with some informative notes throughout.
Firefox on Linux does some things different compared to the Windows counterpart. I generally prefer the Windows way these settings are configred, and the following settings are therefore made to improve the overall experience on Linux.
All of these settings are accessed by typing
about:config
When your are behind a corporate proxy it might be difficult to use SSH to communicate with [github.com][3], since this type of traffic may be blocked. A way to get around this is to authenticate over HTTPS instead, and supplying a username and password.
However, if two factor authentication is enabled, as it should be, this method will fail since the current interface does not support this. The solution is to create an authentication token to use for this specific machine.
| # Docker Functions | |
| # A small collection of commands that can be quite useful when | |
| # working with Docker. | |
| # Stop all containers on the system. | |
| stop_all_containers() { | |
| docker stop $(docker ps -aq) | |
| } | |
| # Stop all containers on the system and remove them. |