Constantine Grantcharov b1cef063a1 Fix $HOME directory ownership permissions ...

BUG:

Creating a new directory under /home/<user>/ from the /work folder does
not work. In fact, going into the home directory and trying to run mkdir
fails as well.

SOLUTION:

Turns out chown -R <user>:<user> was run on $HOME/* instead of on $HOME.
This means that /home/<user> was still under the ownership of root:root,
hence preventing any writes to non-root users.

2017-06-29 08:31:33 -04:00

..

.bashrc

base: support BUILDER_USER, BUILDER_GROUP, and liquidprompt bash

2016-07-04 22:03:10 -04:00

ccmake.sh

base/cmake: Do not pass toolchain option when using incompatible cmake option

2016-09-21 21:11:33 -04:00

cmake.sh

base/cmake: Do not pass toolchain option when using incompatible cmake option

2016-09-21 21:11:33 -04:00

dockcross

SSH Support for Git Clone / Checkout

2017-05-12 23:52:20 -04:00

entrypoint.sh

Fix $HOME directory ownership permissions

2017-06-29 08:31:33 -04:00

install-cmake.sh

common: Bump CMake to v3.8.0

2017-04-15 11:44:57 -04:00

install-ninja.sh

common: Bump Ninja to 1.7.2

2017-04-15 11:45:18 -04:00

install-openssl.sh

imagefiles: Reduce wget verbosity using --progress=bar:force

2016-11-26 19:59:07 -05:00

sudo.sh

common: Use gosu to replace chpst and add sudo abilities

2017-04-22 23:35:12 -04:00