diff --git a/install-tools b/install-tools index c299b37..cbef38c 100755 --- a/install-tools +++ b/install-tools @@ -7,4 +7,4 @@ import eris.tools subprocess.run(["sudo", "apt-get", "-y", "install"] + - list(eris.tools.dependencies()), check=True) + sorted(eris.tools.dependencies()), check=True)