2018-08-07 14:33:15 -07:00
|
|
|
{ stdenv, fetchFromGitHub }: stdenv.mkDerivation rec {
|
2019-08-15 05:41:18 -07:00
|
|
|
pname = "tt-rss-theme-feedly";
|
2020-01-17 03:54:21 -08:00
|
|
|
version = "2.3.1";
|
2018-08-07 14:33:15 -07:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "levito";
|
|
|
|
repo = "tt-rss-feedly-theme";
|
|
|
|
rev = "v${version}";
|
2020-01-17 03:54:21 -08:00
|
|
|
sha256 = "0rl5g664grx3m7yxa14rgnbvnlc3xnn44kzjji5layxww6jd8h2s";
|
2018-08-07 14:33:15 -07:00
|
|
|
};
|
|
|
|
|
|
|
|
dontBuild = true;
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
mkdir $out
|
|
|
|
|
2019-02-18 11:23:33 -08:00
|
|
|
cp -ra feedly *.css $out
|
2018-08-07 14:33:15 -07:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
description = "Feedly theme for Tiny Tiny RSS";
|
|
|
|
license = licenses.wtfpl;
|
2019-02-17 02:30:50 -08:00
|
|
|
homepage = "https://github.com/levito/tt-rss-feedly-theme";
|
2018-08-07 14:33:15 -07:00
|
|
|
maintainers = with maintainers; [ das_j ];
|
|
|
|
platforms = platforms.all;
|
|
|
|
};
|
|
|
|
}
|