Docker file rename problem demonstration

README.md

This attempts to reproduce the problems laid out in doctrine/mongodb-odm#1495 and symfony/symfony#12533.

To run this you'll need a working docker setup. Run the following commands to clone this gist and run the docker image:

git clone [email protected]:a367e895e6c55f7fb93870dcba46efa9.git php-rename-failure
cd php-rename-failure
docker build -t php-rename-failure .
docker run -it --rm php-rename-failure

Dockerfile

FROM php:7.0-cli

COPY . /usr/src
WORKDIR /usr/src
RUN mkdir -p existing-dir
RUN touch existing-dir/test
RUN cp -r existing-dir existing-dir-2

CMD [ "php", "./rename.php" ]

rename.php

<?php declare(strict_types = 1);

echo "Trying directory rename\n";
var_dump(rename('existing-dir', 'existing-dir-renamed'));

echo "Trying file rename in directory\n";
var_dump(rename('existing-dir-2/test', 'existing-dir-2/test.bak'));

echo "Trying directory rename\n";
var_dump(rename('existing-dir-2', 'existing-dir-renamed-2'));