gparted — хороший способ изменить размер дисков. Это, вероятно, не позволит вам изменить размер корневой файловой системы в Интернете, поэтому вы можете создать живой USB или компакт-диск из их установщика и выполнить изменение размера из этой живой ОС gparted (как EFI, так и root fs ). Если проблем с операциями нет, все должно работать нормально.
Что касается предупреждений, о которых вы просите, хотя я никогда не видел проблем с изменением размера, это личный опыт, и всегда есть риск потерять ваш раздел, а значит, и данные.
Имейте в виду, хотя я не читал инструкции, на которые вы указали, я не думал, что вам понадобится EFI> 200 МБ, но тогда он меняется в зависимости от того, как вы его используете. На самом деле, мой EFI не работал так, как я хотел, и в итоге я использовал свой BIOS, чтобы выбирать из нескольких EFI во время загрузки. Итак, вот мысль: вы можете создать совершенно новый EFI для экспериментов (или использовать ). Просто сообщите своему BIOS, с какого EFI вы хотите загрузиться (. Надеюсь, ваш BIOS позволит вам ).
Просто поиск по номерам:
$ sed -n '/key1/ s/.*\: \([0-9][0-9]*\).*/\1/p' file
100
или
$ sed -En '/key1/ s/.*\:\s+([0-9]+).*/\1/p' file
100
Лично я бы использовал вместо этого grep
, хотя:
$ grep -oP 'key1":\s*\K\d+' file
100