| Commit message (Collapse) | Author | Age | Lines | |
|---|---|---|---|---|
| * | Fix coverage not finding sources |  MarkKoz | 2019-06-22 | -8/+17 |
| | | | | | | | * Mount volume to the same path as the source directory on the host * Keep the container up in the background so it doesn't have to be restarted or the ownership fix | |||
| * | Fix ownership of coverage file | MarkKoz | 2019-06-22 | -1/+10 |
| | | | | | | | When coverage runs in a container, it is ran under root so the resulting coverage file is owned by root. chown is used to change ownership to be the same as the folder it is in. | |||
| * | Create shell script for building a dev image and running a shell | MarkKoz | 2019-06-22 | -0/+45 |
| * Put scripts in a new scripts folder | ||||
 |
index : snekbox | |
| A mirrored copy of the python-discord/snekbox repository. |
| aboutsummaryrefslogtreecommitdiffstats |