mirror of
https://github.com/RGBCube/Site
synced 2025-08-02 14:07:47 +00:00
Fix source filters
This commit is contained in:
parent
b7c46a9c09
commit
97c51150fa
1 changed files with 2 additions and 0 deletions
|
@ -50,6 +50,7 @@
|
||||||
gifFilter = path: type: builtins.match ".*gif$" path != null;
|
gifFilter = path: type: builtins.match ".*gif$" path != null;
|
||||||
jsFilter = path: type: builtins.match ".*js$" path != null;
|
jsFilter = path: type: builtins.match ".*js$" path != null;
|
||||||
mdFilter = path: type: builtins.match ".*md$" path != null;
|
mdFilter = path: type: builtins.match ".*md$" path != null;
|
||||||
|
txtFilter = path: type: builtins.match ".*txt$" path != null;
|
||||||
woff2Filter = path: type: builtins.match ".*woff2$" path != null;
|
woff2Filter = path: type: builtins.match ".*woff2$" path != null;
|
||||||
|
|
||||||
src = lib.cleanSourceWith {
|
src = lib.cleanSourceWith {
|
||||||
|
@ -59,6 +60,7 @@
|
||||||
|| (gifFilter path type)
|
|| (gifFilter path type)
|
||||||
|| (jsFilter path type)
|
|| (jsFilter path type)
|
||||||
|| (mdFilter path type)
|
|| (mdFilter path type)
|
||||||
|
|| (txtFilter path type)
|
||||||
|| (woff2Filter path type);
|
|| (woff2Filter path type);
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue