Ubuntu
linux package

  1. Bug #1531747
  2. Comment #6

Comment 6 for bug 1531747

Revision history for this message
Serge Hallyn (serge-hallyn) wrote :

The type of the underlaying file does not matter, only the type of the replacing object.

So if you

touch $t/dev; rm $t/dev; touch $t/dev
mkdir $t/dev; rmdir $t/ev; touch $t/dev

those succeed, while

touch $t/dev; rm $t/dev; mkdir $t/dev
mkdir $t/dev; rm $t/dev; mkdir $t/dev

both fail.