{ pkgs
, ...
}: {
users.users.iosmanthus = {
interest = [
"Cat"
"Database"
"Distributed System"
"NixOS"
"Rust"
];
careers = [{
name = "PingCAP";
url = "https://www.pingcap.com";
}];
contact = {
email = "[email protected]";
twitter = "@iosmanthus1998";
};
tools = {
editor = pkgs.vscode;
shell = pkgs.zsh;
terminal = pkgs.kitty;
browser = pkgs.firefox;
font = pkgs.meslo-lg;
email = pkgs.thunderbird;
};
tags = [ "hen-pecked" "cat lover" ];
};
}
iosmanthus Goto Github PK
Name: iosmanthus
Type: User
Company: @tidbcloud @tikv @PingCAP
Bio: BC49 6167 681E 738E 5981 4A28 DEE5 BAAB FE09 2169
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent