Setup Sync with Taskwarrior
Currently you should use your own taskd server. In october we will launch our own server which you will be able to use. Please have some more patience. Thank you ;)
What is Taskwarrior?
Taskwarrior is a (not only) command-line todo list manager.
There are also frontends (for Linux, Windows, Mac OS)
Learn more about Taskwarrior
You should use a Linux-Box for setting up a Taskwarrior-server. It should work with Windows too, but this tutorial is only for Linux.
$ git clone https://git.tasktools.org/scm/tm/taskd.git $ cd taskd/ taskd/ $ git checkout 1.0.0 taskd/ $ cmake . taskd/ $ make taskd/ $ make install
We tested the server only with this version, you can try to use also the current version.
Configure your server
First you should create the key and the certificate for the server:
taskd/ $ cd pki taskd/pki/ $ ./generate # If this fails you have to install gnutls-bin or a similar package
taskd/pki $ cd ../demo/server/ taskd/demo/server $ ./setup taskd/demo/server $ taskd config --force --data root/ client.allow '^task [2-9],^taskd,^libtaskd,^Mirakel [1-9]'
This setups a basic Taskwarrior environment and allows it to communicate with Mirakel. You should look in the
root/config file. It may be that you have to change the
The easiest way is create a user is with our script. It generates also the configuration file you need for Mirakel.
taskd/demo/server $ wget https://raw.githubusercontent.com/MirakelX/mirakel-scripts/master/add_user.sh taskd/demo/server $ chmod +x add_user.sh taskd/demo/server $ ./add_user.sh
Follow the script.
Run the server
To run the server just do the following:
taskd/demo/server $ ./run
Setup sync with
Now you should copy the generated configuration file to your Android device. Then you can easily configure the sync.
Create your own config file
The file has a simple format:
username: foo org: bar user key: aa0f8f67-c20c-4476-b1c4-ed72f293006c server: localhost:6544 client.cert: -----BEGIN CERTIFICATE----- … -----END CERTIFICATE----- Client.key: -----BEGIN RSA PRIVATE KEY----- … -----END RSA PRIVATE KEY----- ca.cert: -----BEGIN CERTIFICATE----- … -----END CERTIFICATE-----
Please replace the … with the content of the client.cert/ca.cert.
The username, org and user key you can extract easily from the credentials string of taskwarrior:
bar/foo/aa0f8f67-c20c-4476-b1c4-ed72f293006c you have to transform it into:
username: foo org: bar user key: aa0f8f67-c20c-4476-b1c4-ed72f293006c … Rest of the config file …
If you have questions, please do not hesitate to !