Войдите в конфигурацию BIOS/UEFI и перейдите на вкладку BOOT (, обычно с помощью клавиш со стрелками ). Используйте вверх/вниз, чтобы выбрать USB-накопитель (, убедитесь, что он был вставлен при загрузке BIOS ), и нажмите F5/F6/PGUP, чтобы переместить его в начало списка. Затем сохраните конфигурацию BIOS (F10 в обычном режиме ), чтобы продолжить загрузку с USB.
В качестве альтернативы вы можете попробовать следовать инструкциям здесь для последовательной загрузки USB из GRUB
Следующее должно работать:
sed -E 's/([0-9]+)\.[0-9]+/\1/g' /tmp/file
Он специально ищет более одной цифры, за которой следует точка, за которой следует больше цифр, и заменяет ее частью до точки (группы, заключенной в(... )
).
Я пробовал метод ниже и работал нормально
команда
sed "s/\.[0-9]\{2\}//g" file
выход
sar -p: Average: all 21 0 6 2 0 69
Добавление другого метода с использованием Python
#!/usr/bin/python
import re
k=re.compile(r'\.[0-9]{2}')
o=open('file','r')
for i in o:
print re.sub(k,"",i)