IDM installation
Note: this post will show you how to install IDM on a Debian based machine (like Ubuntu). The following instructions were tested on Debian 9.0 (stretch) y Ubuntu 17.04 (zesty). If you use Vagrant, you can download our VagrantFile for both setups.
Setting up Debian repositories
IDM is located on ARCO’s pike repository. To install it, run the following command:
$ wget -qO- 'http://pike.esi.uclm.es/add-pike-repo.sh' | sudo sh
Installing ZeroC Ice for Python3
With a fresh installation of Debian 9.0 or Ubuntu 17.04, you can install ZeroC Ice for Python 3 directly:
$ sudo apt-get install python3-zeroc-ice
For older versions or another systems, you can follow the official installation instructions: Ice Distributions.
Installing IDM
Also, very straightforward:
$ sudo apt-get install idm
Check that it works
To check if your setup is working, download the following configuration file:
Router.Table.Path = router.table
Router.Adapter.Endpoints = tcp -h 127.0.0.1 -p 6140
Router.Ids = 10AA01
And launch the IDM router using:
$ idm-router --Ice.Config=router.config WARNING:root: router controller not defined WARNING:root: DUO advertisements disabled INFO:root: queue Size: 10 INFO:root: router at '10AA01 -t -e 1.1:tcp -h 127.0.0.1 -p 6140 -t 60000' INFO:root: waiting events...
If you see the same (or similar) result, then it works!
Using Vagrant
The provided VagrantFile
has two configured boxes, and comes bundled with a bootstrap script
to install the required packages. Download it, and launch one of the
included configurations (debian
or ubuntu
):
$ vagrant up debian
When finished, you can enter the box and check if IDM is correctly installed (using the above instructions):
$ vagrant ssh debian [...]