Keresés

Nulla eredménye volt, jelentem alássan, mondhatni lesz_rja ezt az opciót, a layout az erősebb. Akkor is, ha nincs megadva. Persze ez más dolgokat is megváltoztat, pl a php.ini helye a /usr/local/etc lesz. Mondjuk azt eleve ott is várnánk hétköznapi ésszel.

Kezdetnek egy apró észrervétel: ha találunk a gépünkön egy /usr/local/php/man könyvtárat, aminek tartalma (három fájl) szerintünk a /usr/local/share/man -ba kellett volna intergrálódjon, az azért lehet, mert nem adtuk meg a --with-layout=GNU opciót.

Mondjuk a ./configure --help nem hangsúlyozza ezt a feltételt, de talán ennél is jobb, ha explicite azt mondjuk neki, hogy --datarootdir=/usr/local/share