Как установить силу -dvi на wayland?
Конечно, просто расширение файла не является форматом файла. Это просто текст, который любой может изменить простым:
mv image.png word.txt
При этом в этом случае вы можете просто использовать команду basename:
base=`basename "$file".txt`
if test "$base" != "$file"
then
echo "Success!"
else
echo "Wrong extension..."
fi
0
zipy124
03.01.2021, 18:10
Ссылка
1 ответ
У меня была та же проблема (для аудио ), и я нашел это:https://github.com/NickCis/drm_tool.
Я успешно включил звук с помощью следующей команды:
$./drm_tool set /dev/dri/card0 <connector_id> audio -2
[Изменить] Это работает только при переключении на консоль, доступ с терминала запрещен. Я пробовал использовать drmSetMaster (), но мне определенно не хватает знаний по DRM.
0
bdh
18.03.2021, 22:38
Ссылка