JavaScript nicht aktiv!
| Tipps & Tricks | |
 |
Linux Windows Programmieren |
| Ereignisse | |
 |
am 22. May besonderes heute was war im Jahr Personen geboren |
| Bildergalerie | |
 |
die neuesten Desktop-Bilder Blumen Fahrzeuge Landschaften mit Ortsangabe |
| Spiele | |
 |
Kreuzworträtsel Stadt Land Fluss Allgemeinwissen Bilder Quiz Lustiges Bilder Quiz Technik Quiz Länder Quiz |
| Tools | |
 |
Internetspuren Konvertierungen Umrechnungen Umwandlungen |
| Sonstiges | ||
|
Astronomie Erde Daten Kalender |
Gesundheit Energie Sparen Internet Links |
|
| Sitemap Kontakt Impressum |
2694 Tipps & Tricks
| Kategorie: Programmieren / PHP | Tipp im neuen Fenster anzeigen |
Dateiname oder Verzeichnis (492 x gelesen)
<?
//ist der angegebene Name ein Verzeichnis?
echo is_dir("/tmp/datei.sh") . "<br>";
//ist der angegebene Dateiname ausführbar?
echo is_executable("/tmp/datei.sh") . "<br>";
//ist der angegebene Name eine Dateiname?
echo is_file("/tmp/datei.sh") . "<br>";
?>
Es wird keine Verantwortung übernommen. Die Benutzung erfolgt auf eigene Gefahr.