maralorn/nixos-config
1
0
Fork 0
Code Wiki Activity

Update kassandra

Browse source
This commit is contained in:
Malte Brandy 2021-09-03 21:26:39 +02:00
parent 55eff72017
commit 5e4fca4c0d
No known key found for this signature in database
GPG key ID: 226A2D41EF5378C9
3 changed files with 626 additions and 329 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

453
home-manager/roles/kassandra/types.dhall
View file

@ -42,18 +42,28 @@ StandaloneAccount = < RemoteAccount :
{ viewList :
List
< SearchWidget
| ConfigListWidget : { name : Text, limit : Optional Natural }
>
, configuredLists :
List
| DefinitionElementWidget :
{ name : Text
, list :
< QueryList :
, definitionElement :
< ConfigList :
{ name : Text, limit : Optional Natural }
| ListElement :
{ item :
< TaskwarriorTask : { uuid : Text }
| AdHocTask : { description : Text }
| HabiticaTask :
{ task : < HabiticaDaily | HabiticaTodo >
}
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
{ property :
< DescriptionMatches : { filter : Text }
< DescriptionMatches :
{ filter : Text }
| ParentBlocked
| Blocked
| Waiting
@ -68,7 +78,8 @@ StandaloneAccount = < RemoteAccount :
}
| HasntProperty :
{ property :
< DescriptionMatches : { filter : Text }
< DescriptionMatches :
{ filter : Text }
| ParentBlocked
| Blocked
| Waiting
@ -84,24 +95,67 @@ StandaloneAccount = < RemoteAccount :
>
}
| TagList : { name : Text }
| DefinitionList :
{ elements :
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList :
{ list : < HabiticaDailys | HabiticaTodos > }
| Mails
>
}
>
, configuredLists :
List
< ConfigList :
{ name : Text, limit : Optional Natural }
{ name : Text
, list :
List
< ConfigList : { name : Text, limit : Optional Natural }
| ListElement :
{ item :
< TaskwarriorTask : { uuid : Text }
| AdHocTask : { description : Text }
| HabiticaTask :
{ task :
< HabiticaDaily | HabiticaTodo >
}
{ task : < HabiticaDaily | HabiticaTodo > }
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
{ property :
< DescriptionMatches :
{ filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
| HasntProperty :
{ property :
< DescriptionMatches :
{ filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
>
}
| TagList : { name : Text }
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList :
@ -152,14 +206,23 @@ BackendConfig = { users :
{ viewList :
List
< SearchWidget
| ConfigListWidget :
{ name : Text, limit : Optional Natural }
>
, configuredLists :
List
| DefinitionElementWidget :
{ name : Text
, list :
< QueryList :
, definitionElement :
< ConfigList :
{ name : Text, limit : Optional Natural }
| ListElement :
{ item :
< TaskwarriorTask : { uuid : Text }
| AdHocTask : { description : Text }
| HabiticaTask :
{ task :
< HabiticaDaily | HabiticaTodo >
}
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
@ -197,30 +260,71 @@ BackendConfig = { users :
>
}
| TagList : { name : Text }
| DefinitionList :
{ elements :
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList :
{ list : < HabiticaDailys | HabiticaTodos >
}
| Mails
>
}
>
, configuredLists :
List
{ name : Text
, list :
List
< ConfigList :
{ name : Text
, limit : Optional Natural
}
{ name : Text, limit : Optional Natural }
| ListElement :
{ item :
< TaskwarriorTask :
{ uuid : Text }
| AdHocTask :
{ description : Text }
< TaskwarriorTask : { uuid : Text }
| AdHocTask : { description : Text }
| HabiticaTask :
{ task :
< HabiticaDaily
| HabiticaTodo
>
< HabiticaDaily | HabiticaTodo >
}
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
{ property :
< DescriptionMatches :
{ filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
| HasntProperty :
{ property :
< DescriptionMatches :
{ filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
>
}
| TagList : { name : Text }
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList :
@ -238,10 +342,20 @@ BackendConfig = { users :
}
}
},
Widget = < SearchWidget | ConfigListWidget : { name : Text, limit : Optional Natural } >,
NamedListQuery = { name : Text
, list :
< QueryList :
Widget = < SearchWidget
| DefinitionElementWidget :
{ name : Text
, definitionElement :
< ConfigList : { name : Text, limit : Optional Natural }
| ListElement :
{ item :
< TaskwarriorTask : { uuid : Text }
| AdHocTask : { description : Text }
| HabiticaTask : { task : < HabiticaDaily | HabiticaTodo > }
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
@ -277,21 +391,61 @@ NamedListQuery = { name : Text
>
}
| TagList : { name : Text }
| DefinitionList :
{ elements :
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList : { list : < HabiticaDailys | HabiticaTodos > }
| Mails
>
}
>,
NamedListQuery = { name : Text
, list :
List
< ConfigList : { name : Text, limit : Optional Natural }
| ListElement :
{ item :
< TaskwarriorTask : { uuid : Text }
| AdHocTask : { description : Text }
| HabiticaTask :
{ task : < HabiticaDaily | HabiticaTodo > }
| HabiticaTask : { task : < HabiticaDaily | HabiticaTodo > }
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
{ property :
< DescriptionMatches : { filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
| HasntProperty :
{ property :
< DescriptionMatches : { filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
>
}
| TagList : { name : Text }
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList : { list : < HabiticaDailys | HabiticaTodos > }
@ -372,14 +526,27 @@ StandaloneConfig = { backends :
{ viewList :
List
< SearchWidget
| ConfigListWidget :
{ name : Text, limit : Optional Natural }
>
, configuredLists :
List
| DefinitionElementWidget :
{ name : Text
, list :
< QueryList :
, definitionElement :
< ConfigList :
{ name : Text
, limit : Optional Natural
}
| ListElement :
{ item :
< TaskwarriorTask : { uuid : Text }
| AdHocTask : { description : Text }
| HabiticaTask :
{ task :
< HabiticaDaily
| HabiticaTodo
>
}
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
@ -417,19 +584,27 @@ StandaloneConfig = { backends :
>
}
| TagList : { name : Text }
| DefinitionList :
{ elements :
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList :
{ list :
< HabiticaDailys | HabiticaTodos >
}
| Mails
>
}
>
, configuredLists :
List
{ name : Text
, list :
List
< ConfigList :
{ name : Text
, limit : Optional Natural
}
{ name : Text, limit : Optional Natural }
| ListElement :
{ item :
< TaskwarriorTask :
{ uuid : Text }
| AdHocTask :
{ description : Text }
< TaskwarriorTask : { uuid : Text }
| AdHocTask : { description : Text }
| HabiticaTask :
{ task :
< HabiticaDaily
@ -439,12 +614,49 @@ StandaloneConfig = { backends :
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
{ property :
< DescriptionMatches :
{ filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
| HasntProperty :
{ property :
< DescriptionMatches :
{ filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
>
}
| TagList : { name : Text }
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList :
{ list : < HabiticaDailys | HabiticaTodos >
{ list :
< HabiticaDailys | HabiticaTodos >
}
| Mails
>
@ -494,13 +706,20 @@ AccountConfig = { passwordHash : Text
{ viewList :
List
< SearchWidget
| ConfigListWidget : { name : Text, limit : Optional Natural }
>
, configuredLists :
List
| DefinitionElementWidget :
{ name : Text
, list :
< QueryList :
, definitionElement :
< ConfigList : { name : Text, limit : Optional Natural }
| ListElement :
{ item :
< TaskwarriorTask : { uuid : Text }
| AdHocTask : { description : Text }
| HabiticaTask :
{ task : < HabiticaDaily | HabiticaTodo > }
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
@ -536,27 +755,69 @@ AccountConfig = { passwordHash : Text
>
}
| TagList : { name : Text }
| DefinitionList :
{ elements :
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList :
{ list : < HabiticaDailys | HabiticaTodos > }
| Mails
>
}
>
, configuredLists :
List
< ConfigList :
{ name : Text, limit : Optional Natural }
{ name : Text
, list :
List
< ConfigList : { name : Text, limit : Optional Natural }
| ListElement :
{ item :
< TaskwarriorTask : { uuid : Text }
| AdHocTask : { description : Text }
| HabiticaTask :
{ task :
< HabiticaDaily | HabiticaTodo >
}
{ task : < HabiticaDaily | HabiticaTodo > }
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
{ property :
< DescriptionMatches : { filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
| HasntProperty :
{ property :
< DescriptionMatches : { filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
>
}
| TagList : { name : Text }
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList : { list : < HabiticaDailys | HabiticaTodos > }
| HabiticaList :
{ list : < HabiticaDailys | HabiticaTodos > }
| Mails
>
}
@ -577,8 +838,7 @@ DefinitionElement = < ConfigList : { name : Text, limit : Optional Natural }
| Mail : { id : Text }
>
}
>,
ListQuery = < QueryList :
| QueryList :
{ query :
List
< HasProperty :
@ -614,9 +874,12 @@ ListQuery = < QueryList :
>
}
| TagList : { name : Text }
| DefinitionList :
{ elements :
List
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList : { list : < HabiticaDailys | HabiticaTodos > }
| Mails
>,
ListQuery = List
< ConfigList : { name : Text, limit : Optional Natural }
| ListElement :
{ item :
@ -626,8 +889,42 @@ ListQuery = < QueryList :
| Mail : { id : Text }
>
}
| QueryList :
{ query :
List
< HasProperty :
{ property :
< DescriptionMatches : { filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
| HasntProperty :
{ property :
< DescriptionMatches : { filter : Text }
| ParentBlocked
| Blocked
| Waiting
| Pending
| Completed
| Deleted
| IsParent
| OnList
| HasTag : { tag : Text }
| HasParent
>
}
>
}
| TagList : { name : Text }
| ChildrenList : { uuid : Text }
| DependenciesList : { uuid : Text }
| HabiticaList : { list : < HabiticaDailys | HabiticaTodos > }

2
nix/sources.json
View file

@ -34,7 +34,7 @@
"branch": "master",
"ref": "master",
"repo": "git@hera.m-0.eu:kassandra2",
"rev": "0f2e5ad6580f00029d2c18357dbaadb9528cc48e",
"rev": "b77b43523bdd12b4f60af675f304cc30fcf51b1e",
"type": "git"
},
"logfeed": {

2
private

@ -1 +1 @@
Subproject commit df5905971d0d53e0fcf6b74b727c5e635b068f0c
Subproject commit 7133a4f24bde7cb1a509c8bd5a1968a15ea88452