xNotes.ru

Заметки о разработке и многом другом

PHP: как получить расширение файла

Самый надёжный способ получить расширение файла, это воспользоваться функцией pathinfo() с аргументом PATHINFO_EXTENSION:

echo pathinfo('filename.jpg', PATHINFO_EXTENSION);

Результат:

Консоль Windows: как скачать файл из интернета

1. Скачиваем и устанавливаем порт знаменитой linux утилиты wget.

2. В системной переменной PATH, прописываем путь к папке с файлом wget.exe:

C#: как удалить из имени файла запрещённые символы

string fileName = "file:with/bad>symbols.txt";
char[] charInvalidFileChars = Path.GetInvalidFileNameChars();

foreach (char charInvalid in charInvalidFileChars)
{
    fileName = fileName.Replace(charInvalid, ' ');
}