... | ... | @@ -127,7 +127,7 @@ This allows installations without administrator privileges. |
|
|
## Case insensitivity
|
|
|
|
|
|
|
|
|
The default Mac OS X files systems (HFS+) is case-insensitive and darcs is case sensitive. While this ususally doesn't cause any problems, occassionally a `Unapplicable patch` error can occur. It's possible to work around this by using `Disk Utility` to create a case sensitive file system and apply the patches inside of it. To do this:
|
|
|
The default Mac OS X files systems (HFS+) is case-insensitive and Git is case sensitive (although this is configurable). While this ususally doesn't cause any problems, occassionally a `Unapplicable patch` error can occur. It's possible to work around this by using `Disk Utility` to create a case sensitive file system and apply the patches inside of it. To do this:
|
|
|
|
|
|
1. Open `/Applications/Utilities/Disk Utility`.
|
|
|
1. Make sure that none of the images/disks on the left are highlighted/selected. If any are, \<Cmd\>+Click them to unselect them.
|
... | ... | @@ -143,7 +143,7 @@ The default Mac OS X files systems (HFS+) is case-insensitive and darcs is case |
|
|
1. Click the "Create" button.
|
|
|
|
|
|
|
|
|
This creates a file with a `.sparseimage` extension (e.g., `GHC Disk.sparseimage`) at the location that was set in step 10 and automatically mounts it. The partition can be accessed through the `/Volumes` folder (e.g., `/Volumes/GHC`). This partition behaves exactly like any other Apple partition except that it's case sensitive and darcs can apply the patches it couldn't on the case insensitive file system. After the patches have been applied, the repository can be copied to the normal file system, the partition can be unmounted, and the sparse image can be deleted.
|
|
|
This creates a file with a `.sparseimage` extension (e.g., `GHC Disk.sparseimage`) at the location that was set in step 10 and automatically mounts it. The partition can be accessed through the `/Volumes` folder (e.g., `/Volumes/GHC`). This partition behaves exactly like any other Apple partition except that it's case sensitive and git can apply the patches it couldn't on the case insensitive file system. After the patches have been applied, the repository can be copied to the normal file system, the partition can be unmounted, and the sparse image can be deleted.
|
|
|
|
|
|
## Building the documentation
|
|
|
|
... | ... | |