In this post I will describe how to create and use the powerful Tonido file server inside a docker container. The reasons for using Docker are many and well documented, and I think Tonido represents a fantastic example of the oft-described use-case of compartmentalizing software due to dependencies. Continue reading “Running a Tonido Server inside Docker”
Using Docker to Learn Programming
Basic Use Case
Docker is a fantastic tool for use when learning any programming language. The ability to have a virtual, independent environment that can be manipulated a near infinite variety of ways is indispensable as you progress through learning a new language, especially if you are working on different versions. A Docker image can provide a clean environment on each use or be extended with volumes. It is easy to setup multiple environments using a minimum of space especially if you take the time to really plan, since Docker uses a system of layers when making images you can build up from a vanilla install to multiple package configurations without a separate virtual machine install for each case.
Continue reading “Using Docker to Learn a Programming Language”
Basic Git Setup
I make extensive use of Git many times a day. I would say it is a very basic part of my work-flow, especially with note-taking, learning, and writing blog posts. I use it for keeping track of scripts that I am working on as part of my continuing educational process, so not only is it useful in terms of versioning, which to be honest I hardly if ever use, but also as a lightweight method of maintaining files across multiple machines. Cloud storage systems like Google Drive or Dropbox are too much in terms of bloat for such simple needs and not really easy to use on a headless Linux server accessed only via SSH. Also, being able to access previous versions is important when dealing with software.
These instructions assume a Debian/Ubuntu installation on both the local machine, or client, and the server – accessed via ssh – both with git installed. There is also Git for Windows that works well and from the bash shell utilizes the same commands.
Continue reading “Basic Git Setup and Use”