From 0f9a3d024c45116f53d98ffd2db4178a8869170a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller12@tu-dresden.de>
Date: Thu, 29 Jul 2021 13:38:54 +0200
Subject: [PATCH] correct format in workspaces.md
---
doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md | 6 ------
1 file changed, 6 deletions(-)
diff --git a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
index 4621f8e2b..05db70c77 100644
--- a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
+++ b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
@@ -86,7 +86,6 @@ ws_allocate -F scratch -r 7 -m marie.testuser@tu-dresden.de test-workspace 90
The command creates a workspace with the name `test-workspace` on the `/scratch` file system for 90
days with an E-mail reminder for 7 days before the expiration.
-
Output:
```
@@ -101,7 +100,6 @@ remaining time in days: 90
Setting the reminder to `7` means you will get 1 E-Mail a day starting one week before your
expiration date, reminding you that your workspace will expire.
-
### Extention of a Workspace
The lifetime of the workspace is finite. Different file systems (storage systems) have different
@@ -136,7 +134,6 @@ remaining time in days: 100
extend a workspace that expires in 90 days with the `ws_extend -F scratch my-workspace 40`,
it will now expire in 40 days **not** 130 days.
-
### Deletion of a Workspace
To delete workspace use the `ws_release` command. It is necessary to specify the name of the
@@ -150,7 +147,6 @@ For example:
ws_release -F scratch test-workspace
```
-
### Restoring Expired Workspaces
At expiration time your workspace will be moved to a special, hidden directory. For a month (in
@@ -176,7 +172,6 @@ workspace 'new_ws':
ws_restore -F scratch marie-test-workspace-1234567 new_ws
```
-
The expired workspace has to be specified by its full name as listed by `ws_restore -l`, including
username prefix and timestamp suffix (otherwise, it cannot be uniquely identified). The target
workspace, on the other hand, must be given with just its short name, as listed by `ws_list`,
@@ -186,7 +181,6 @@ Both workspaces must be on the same file system. The data from the old workspace
a directory in the new workspace with the name of the old one. This means a fresh workspace works as
well as a workspace that already contains data.
-
## Linking Workspaces in HOME
It might be valuable to have links to personal workspaces within a certain directory, e.g., the user
--
GitLab