6 Commits

Author	SHA1	Message	Date
Filip Gralinski	879eb4e044	Block terminal	2018-11-17 10:07:59 +01:00
Filip Gralinski	ae75c806c7	clean up code in Runner, fix a likely bug	2018-07-26 21:46:17 +02:00
Filip Gralinski	252da6316a	fix problem with git-annex remote when updating a repo, get rid of some warnings	2018-06-14 20:35:48 +02:00
Filip Gralinski	e06f2120ea	start using Runner monad	2018-06-05 09:36:48 +02:00
Filip Gralinski	dcdf71b5e6	prepare Runner for better running stuff	2018-06-05 09:07:01 +02:00
Filip Gralinski	edf0624b95	refactor running stuff	2018-06-05 08:22:51 +02:00