.gitpod.yml: Do not hardcode the workspace name as sagetrac-mirror

[mkoeppe]

For example https://gitpod.io/#https://github.com/sagemath/sage, which appears as a link in our manuals, for instance,

• find the link "going to Gitpod" in https://113a817a9b18c078a108e31522579eab1afac19c--sagemath-tobias.netlify.app/developer/index.html

does not work because the workspace directory is /workspace/sage, not /workspace/sagetrac-mirror

CC: @tobiasdiez @dimpase

Component: user interface

Author: Matthias Koeppe

Branch/Commit: eb839d4

Reviewer: Kwankyu Lee

Issue created by migration from https://trac.sagemath.org/ticket/34270

[mkoeppe]

Branch: u/mkoeppe/_gitpod_yml__do_not_hardcode_the_workspace_name_as_sagetrac_mirror

[mkoeppe]

New commits:

eb839d4

.gitpod.yml: Use $(pwd) to refer to the workspace dir

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Commit: eb839d4

[kwankyu]

Reviewer: Kwankyu Lee

[kwankyu]

comment:4

Yes, it works.

[kwankyu]

Description changed:

--- 
+++ 
@@ -1,2 +1,6 @@
-For example https://gitpod.io/#https://github.com/sagemath/sage (which appears as a link in our manuals) does not work because the workspace directory is `/workspace/sage`, not `/workspace/sagetrac-mirror`
+For example https://gitpod.io/#https://github.com/sagemath/sage, which appears as a link in our manuals, for instance,
 
+- find the link "going to Gitpod" in https://113a817a9b18c078a108e31522579eab1afac19c--sagemath-tobias.netlify.app/developer/index.html
+
+does not work because the workspace directory is `/workspace/sage`, not `/workspace/sagetrac-mirror`
+

[mkoeppe]

comment:6

Thanks!

[vbraun]

Changed branch from u/mkoeppe/_gitpod_yml__do_not_hardcode_the_workspace_name_as_sagetrac_mirror to eb839d4