From ed7a4cb0341c56acb347216ac6e147e1e479752f Mon Sep 17 00:00:00 2001 From: Ubiratan Soares Date: Thu, 20 Aug 2026 20:42:24 +0200 Subject: [PATCH] infra: document new dev desktops disk quota --- src/infra/docs/dev-desktop.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/infra/docs/dev-desktop.md b/src/infra/docs/dev-desktop.md index 7a86dbbc3..58fd68421 100644 --- a/src/infra/docs/dev-desktop.md +++ b/src/infra/docs/dev-desktop.md @@ -224,7 +224,7 @@ desktops are currently running Ubuntu 22.04 LTS. Every user has a quota of how much disk space they can use. Currently, the quota is set to -[150GB](https://github.com/rust-lang/simpleinfra/blob/8a59e4faeb75a09b072671c74a7cb70160ebef50/ansible/roles/dev-desktop/defaults/main.yml#L7). +[200GB](https://github.com/rust-lang/simpleinfra/blob/master/ansible/roles/dev-desktop/defaults/main.yml#L9). Exceeding the quota will result in the error `Disk quota exceeded (os error 122)`.