diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-15 15:07:48 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-15 15:07:48 +0200 |
| commit | 15cceca6a25b9e5c228a6aa39fb087f8063273f6 (patch) | |
| tree | 310e0914cd2c1e294faefbf7876b67b37ca2f384 /roles/workspace/README.md | |
| parent | import my_dotfiles role (diff) | |
| download | infra-ansible-15cceca6a25b9e5c228a6aa39fb087f8063273f6.tar.gz infra-ansible-15cceca6a25b9e5c228a6aa39fb087f8063273f6.zip | |
workspace -> my_workspace
Diffstat (limited to '')
| -rw-r--r-- | roles/workspace/README.md | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/roles/workspace/README.md b/roles/workspace/README.md deleted file mode 100644 index 44af085..0000000 --- a/roles/workspace/README.md +++ /dev/null @@ -1,8 +0,0 @@ -This role is the most specialized and opinionated of all. It can be used to -clone a bunch of repositories to /srv/workspace; it then tries to run either -`make` or `docker-compose up -d` in each of these repositories, which are -called "projects". - -This is how my web "projects" are set up; typically, a project is a repository -with a Makefile which calls docker-compose in a bunch of sub-directories. This -feels like a lame hack, but has worked pretty well so far. |