Configuration files
karei.dev
1format = """
2$hostname\
3$directory\
4$git_branch\
5$git_state\
6$git_status\
7$custom\
8$cmd_duration\
9$character"""
10
11add_newline = true
12
13[character]
14success_symbol = "[➜](bold green)"
15error_symbol = "[➜](bold red)"
16
17[nodejs]
18style = "bold green"
19
20[custom.jj]
21command = '''
22jj log -r@ -n1 --ignore-working-copy --no-graph --color always -T '
23 separate("",
24 coalesce(
25 if(hidden, "hidden"),
26 if(divergent, "divergent"),
27 if(conflict, "conflict"),
28 bookmarks.map(|x| if(
29 x.name().substr(0, 10).starts_with(x.name()),
30 x.name().substr(0, 10),
31 x.name().substr(0, 9) ++ "…")
32 ).join(" "),
33 tags.map(|x| if(
34 x.name().substr(0, 10).starts_with(x.name()),
35 x.name().substr(0, 10),
36 x.name().substr(0, 9) ++ "…")
37 ).join(" ")
38 ),
39 surround("@", "", self.change_id().shortest())
40 )
41'
42'''
43when = "jj root --ignore-working-copy"
44symbol = "🐦 "
45style = "bold blue"