Add src/nixos/redis-get-token.md

Reviewed-on: #1

src/nixos/nix-repo-url.md

@@ -0,0 +1,6 @@
+# Change nix repository overlay
+
+1. Edit `/etc/nixos/configuration.nix`
+2. Locate nixos repository overlay  at the beginning of the file.
+3. Change the branch name.
+4. `nixos-rebuild switch --upgrade`

src/nixos/redis-get-token.md

@@ -0,0 +1,6 @@
+# Get your device token from redis
+
+1. Run `redis-cli -s /run/redis-sp-api/redis.sock`
+2. In redis cli, now run `keys *`
+3. Copy any token that appears in the output
+4. In redis cli, now run `HGETALL token_repo:tokens:<the token you have just copied>`

src/troubleshooting/hetzner.md

@@ -0,0 +1,8 @@
+# Hetzner common problems
+## Blocked on server start up
+
+If you see that after few trials the server is blocked on checking the first reboot. Maybe It is that on boot up has been a problem. This is solved entering in the machine and presing R to re-reboot the machine. From now on should boot perfectly nixos.
+
+## Email Hetzner
+
+To request hetzner mail ports inblock you have to go [here](https://console.hetzner.cloud/limits)