Если Вы - поклонник awk
и sed
можно также достигнуть этого с
ls *.dot | awk '{print("dot -Tpdf "$1" -o "$1)}' | sed 's/.dot/.pdf/2' | sh
Насколько я знаю Fedora 17 не имеет полной поддержки EFI, в то время как я не могу быть уверен, что имел успех с помощью Этой утилиты для начальной загрузки альтернативных операционных систем на моем Mac. Тот был вне разработки некоторое время, таким образом, этот мог бы быть лучшим выбором