|
cd.nix
|
{ * tv identity -> 3 krebs}.hosts
|
2015-07-24 21:15:18 +02:00 |
|
mkdir.nix
|
{ * tv identity -> 3 krebs}.hosts
|
2015-07-24 21:15:18 +02:00 |
|
nomic.nix
|
{ * tv identity -> 3 krebs}.hosts
|
2015-07-24 21:15:18 +02:00 |
|
rmdir.nix
|
{ * tv identity -> 3 krebs}.hosts
|
2015-07-24 21:15:18 +02:00 |
|
wu.nix
|
{ * tv identity -> 3 krebs}.hosts
|
2015-07-24 21:15:18 +02:00 |
