From 52f171064c45603090bb3561bdd5f28b423d3397 Mon Sep 17 00:00:00 2001 From: Nikolay Amiantov Date: Mon, 3 Jun 2019 19:19:43 +0300 Subject: [PATCH] schedtool: update URL --- pkgs/os-specific/linux/schedtool/default.nix | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/pkgs/os-specific/linux/schedtool/default.nix b/pkgs/os-specific/linux/schedtool/default.nix index f24996562d8..2c02ef924c3 100644 --- a/pkgs/os-specific/linux/schedtool/default.nix +++ b/pkgs/os-specific/linux/schedtool/default.nix @@ -1,11 +1,14 @@ -{ stdenv, fetchurl }: +{ stdenv, fetchFromGitHub }: stdenv.mkDerivation rec { - name = "schedtool-1.3.0"; + name = "schedtool-${version}"; + version = "1.3.0"; - src = fetchurl { - url = "http://freequaos.host.sk/schedtool/${name}.tar.bz2"; - sha256 = "1ky8q3jg4lsxbnlmm51q3jkxh160zy0l6a4xkdy2yncxc4m2l02f"; + src = fetchFromGitHub { + owner = "freequaos"; + repo = "schedtool"; + rev = name; + sha256 = "1wdw6fnf9a01xfjhdah3mn8bp1bvahf2lfq74i6hk5b2cagkppyp"; }; makeFlags = [ "DESTDIR=$(out)" "DESTPREFIX=" ];