Category: [English]

  • How to redirect traffic from a server to another?

    Forwarding web traffic This can come in very helpful when switching servers and wanting to avoid any downtime while the updated DNS entries propagate over 48 hours through the Internet. This is esp. important for websites with Make sure you meet the requirements. You need: Your old server has to be a Linux / Unix […]

  • How to install ISPConfig 3 on an Ubuntu 13.10 (saucy) VPS?

    You can follow all the steps of the official HowTo “The Perfect Server – Ubuntu 13.04 (Apache2, BIND, Dovecot, ISPConfig 3)“. To get it to work afterwards on Ubuntu 13.10, use these additional steps: Switch to a .vhost naming scheme for Apache2 site configurations. In Apache2 2.4, only the sites-enabled/*.conf files will be loaded automatically, […]

  • How to install COIN-OR?

    We needed a fast, dedicated server to solve optimization problems. So let’s install COIN-OR CBC (the MLP optimization solver we use). We start from a stock Ubuntu 13.10 machine, as it will happen to you when deploying on Amazon EC2 Spot Instances, like we do. The easiest way to get COIN-OR OS and CBC installed […]

  • How to install the NEOS server 4.0?

    These are the instructions for installing a generic NEOS server, which you can use for many purposes. WARNING: These instructions guide you through a successul installation of NEOS itself, but stop there. NEOS is not usable without adding one or more solvers, and for that you have to develop one XML config file and one […]

  • How to install AWS CLI in Ubuntu 13.10 using packages?

    AWS CLI is the Amazon Web Services command line interface tool, the new unified utility to manage your cloudy Amazon things. People are usually told to install it with pip install awscli (including in the official docs), but this is a hateable solution for Linux package system fans because You get one more package system […]

  • How to fix Skype audio problems in Ubuntu 13.10 on a ThinkPad T61?

    Symptoms This issue started to occur right after installing Ubuntu 13.10 on a ThinkPad T61 with an "Intel Corporation 82801H (ICH8 Family) HD Audio Controller (rev 03)" according to lspci. So, whenever I do one of these: adjust volume with the hardware volume silence / up / down buttons, only while not in a Skype […]

  • How to make Freemind and Checkvist work together?

    Checkvist is a nice, web-based ouline editor. Since it uses a hierarchical content structure, and a mindmapping software like Freemind does the same, interfacing between them can work well in theory. There are some quirks and tips though that we will explore here in practice. I selected Checkvist among alternative solutions for the following reasons: […]