Из http://www.gnu.org/software/bash/manual/html_node/The-Set-Builtin.html: Если параметры и аргументы не заданы, установите отображаемые имена и значения всех переменных и функций оболочки, отсортированные в соответствии с текущей локалью, в формате, который может быть повторно использован в качестве ввода для установки или сброса текущих переменных.
Те же документы, но с некоторыми примерами, можно найти по адресу: http://www.gnu.org/software/bash/manual/html_node/The-Set-Builtin.html [ ! d1], а команда help set дает сводку этой информации.
Таким образом, поведение, которое вы описываете, действительно правильно. Я согласен с тем, что было бы неплохо, если бы был вариант --help; обычно, когда все man set, apropos set, which set и whatis set не могут быть полезны, я попытаюсь передать --help в качестве опции. Это предотвращает запуск команды с непредвиденными результатами, поскольку она либо даст мне справочное сообщение, либо вызовет ошибку. В этом случае:
$ set --help
bash: set: --: invalid option
set: usage: set [-abefhkmnptuvxBCHP] [-o option-name] [--] [arg ...]
Я считаю, что этот трюк является полезным отказоустойчивым.
Я должен указать, что первые несколько результатов Google для «bash set» привели меня к этому документация.
Существует несколько способов сделать вашу старую систему на новом диске, но вы действительно не спрашивали об этом, вы попросили клонировать систему.
Я просто использовал gparted, сам, из live CD, поэтому не будет установлен раздел. Вы можете сжать исходный раздел до размера, который вы хотите, чтобы он был на SSD, а затем скопировать и вставить раздел на новый диск. Если я правильно помню, это повторит использование одного и того же UUID, но впоследствии вы можете изменить это на том или другом разделе. Команда для этого - sudo tune2fs -U random /dev/sdb5 назначает UUID для sdb5.
Если вы не хотите менять старую систему, и если вы хотите некоторое время ее монтировать, вы можете изменить UUID для раздел SSD и отредактируйте свой fstab. На самом деле это не сложно, и вам нужно кое-что узнать. Это довольно понятно для кого-то, у кого уже есть знания. Когда вы назначаете новый UUID, вы можете увидеть все из них с помощью этой команды: sudo blkid -c /dev/null - параметр -c указывает файл кэша, а / dev / null означает, что вы не используете кеш, поэтому вы всегда производите любые изменения далеко. Я всегда использую эту форму и не вижу недостатков, если у вас нет большого количества разделов.
Как только вы получите UUID, вы можете скопировать и вставить его поверх старого в / etc / fstab с помощью gedit или независимо от того, какой текстовый редактор вы предпочитаете.
Лично, однако, вместо того, чтобы тратить время на изменение размера раздела, я бы просто скопировал старую установку на новый диск. Если вы не знаете, как установить GRUB на mbr, вы можете сначала установить базовый Ubuntu, затем создать резервную копию / etc / fstab, скопировать старую установку поверх нее, а затем скопировать fstab из новой установки, чтобы она имеет только правильные записи.
Существует несколько способов сделать вашу старую систему на новом диске, но вы действительно не спрашивали об этом, вы попросили клонировать систему.
Я бы просто использовал gparted, сам, с живого компакт-диска, поэтому ни один раздел не монтируется. Вы можете сжать исходный раздел до размера, который вы хотите, чтобы он был на SSD, а затем скопировать и вставить раздел на новый диск. Если я правильно помню, это повторит использование одного и того же UUID, но впоследствии вы можете изменить это на том или другом разделе. Команда для этого - sudo tune2fs -U random /dev/sdb5
назначает UUID для sdb5.
Если вы не хотите менять старую систему, и если вы хотите некоторое время ее монтировать, вы можете изменить UUID для раздел SSD и отредактируйте свой fstab. На самом деле это не сложно, и вам нужно кое-что узнать. Это довольно понятно для кого-то, у кого уже есть знания. Когда вы назначаете новый UUID, вы можете увидеть все из них с помощью этой команды: sudo blkid -c /dev/null
- параметр -c указывает файл кэша, а / dev / null означает, что вы не используете кеш, поэтому вы всегда производите любые изменения далеко. Я всегда использую эту форму и не вижу недостатков, если у вас нет лота разделов.
Как только вы получите UUID, вы можете скопировать и вставить его поверх старого в / etc / fstab с помощью gedit или любого другого текстового редактора, который вы предпочитаете.
Лично, однако, вместо того, чтобы затрачивать время на изменение размера раздела, я бы просто скопировал старую установку на новый диск. Если вы не знаете, как установить GRUB на mbr, вы можете сначала установить базовый Ubuntu, затем создать резервную копию / etc / fstab, скопировать старую установку поверх нее, а затем скопировать fstab из новой установки, чтобы она имеет только правильные записи.
Существует несколько способов сделать вашу старую систему на новом диске, но вы действительно не спрашивали об этом, вы попросили клонировать систему.
Я бы просто использовал gparted, сам, с живого компакт-диска, поэтому ни один раздел не монтируется. Вы можете сжать исходный раздел до размера, который вы хотите, чтобы он был на SSD, а затем скопировать и вставить раздел на новый диск. Если я правильно помню, это повторит использование одного и того же UUID, но впоследствии вы можете изменить это на том или другом разделе. Команда для этого - sudo tune2fs -U random /dev/sdb5
назначает UUID для sdb5.
Если вы не хотите менять старую систему, и если вы хотите некоторое время ее монтировать, вы можете изменить UUID для раздел SSD и отредактируйте свой fstab. На самом деле это не сложно, и вам нужно кое-что узнать. Это довольно понятно для кого-то, у кого уже есть знания. Когда вы назначаете новый UUID, вы можете увидеть все из них с помощью этой команды: sudo blkid -c /dev/null
- параметр -c указывает файл кэша, а / dev / null означает, что вы не используете кеш, поэтому вы всегда производите любые изменения далеко. Я всегда использую эту форму и не вижу недостатков, если у вас нет лота разделов.
Как только вы получите UUID, вы можете скопировать и вставить его поверх старого в / etc / fstab с помощью gedit или любого другого текстового редактора, который вы предпочитаете.
Лично, однако, вместо того, чтобы затрачивать время на изменение размера раздела, я бы просто скопировал старую установку на новый диск. Если вы не знаете, как установить GRUB на mbr, вы можете сначала установить базовый Ubuntu, затем создать резервную копию / etc / fstab, скопировать старую установку поверх нее, а затем скопировать fstab из новой установки, чтобы она имеет только правильные записи.
Загрузите с livecd, установите оба диска, а затем скопируйте файлы с помощью sudo cp -ax /media/source /media/dest. Отредактируйте / etc / fstab в пункте назначения, чтобы указать правильный UUID (найдите с помощью blkid) и переустановите grub.
Я бы предложил избегать использования dd if=/dev/sdb5 of=/dev/sda1, если ваша система работает от самого /dev/sdb5 (и предположительно не смонтирована только для чтения).
Другой способ копирования разделов - загрузка с Live CD (или USB) и запустить GParted. Вы можете использовать Ctrl + C / Ctrl + V для копирования разделов с одного диска на другой.
Одна копия сделана (и, возможно, после перезагрузки таблица разделов должна быть обновлена), все еще из живого CD, установите новый корневой раздел с помощью терминала:
sudo mount /dev/sda1 /mnt
Затем отредактируйте /mnt/etc/fstab, чтобы указать на правильные местоположения.