В приведенной вами ссылке упоминается, что SyncTex - это новая функция Gnome 2.32, а не Gedit 2.32. Вы можете проверить, какую версию gnome у вас есть, выполнив gnome-session --version.
Чтобы включить SyncTex, вам нужно будет установить дополнительные плагины gedit, выполнив sudo apt-get install gedit-plugins. После установки откройте Gedit и включите плагин в меню Edit -> Preferences -> Plugins.
Если вы хотите переадресовывать файлы, связанные с установленными пакетами (или которые вы собираетесь устанавливать), чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду dpkg-divert.
Поскольку у меня нет всех подробностей вашей ситуации, мне было бы трудно рекомендовать конкретный синтаксис, кроме информации, представленной на этой странице руководства.
Кроме менеджера пакетов и инструменты, которые являются его частью (в том числе dpkg-divert), нет части Ubuntu, которая изменяет файлы в /usr, но если вы загружаете и запускаете исполняемые файлы установщика, или вы создаете программное обеспечение из источника и указываете префикс установки из /usr, то файлы будут добавлены или перезаписаны. Большинство программных средств, которые вы создаете из источника и устанавливаете с помощью sudo make install, по умолчанию будут иметь PREFIX=/usr/local, но какое-то программное обеспечение по умолчанию установлено на PREFIX=/usr, поэтому стоит проверить, запустив ./configure --help или прочитав Makefile, прежде чем вы создадите и установите это программное обеспечение.
Другим исключением являются части /usr, подобные /usr/local, которые предназначены для изменения средствами, отличными от диспетчера пакетов. Но вы, кажется, не спрашиваете об этом. Содержимое каталогов, таких как /usr/bin и /usr/lib, должно быть изменено менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.
Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду dpkg-divert
.
Поскольку у меня нет всех подробностей вашей ситуации, мне было бы трудно рекомендовать конкретный синтаксис, помимо информации, представленной на этой странице руководства.
Помимо диспетчера пакетов и инструментов, которые являются его частью (в том числе dpkg-divert
), в Ubuntu нет части, которая изменяет файлы в /usr
, но если вы загружаете и запускаете исполняемые файлы установщика или создаете программное обеспечение из источника и указать префикс установки /usr
, тогда файлы будут добавлены или перезаписаны. Большинство программных средств, которые вы создаете из источника и устанавливаете с помощью sudo make install
, по умолчанию будут иметь PREFIX=/usr/local
, но какое-то программное обеспечение по умолчанию установлено на PREFIX=/usr
, поэтому стоит проверить, запустив ./configure --help
или прочитав Makefile
, прежде чем вы создадите и установите программное обеспечение.
Другим исключением являются части /usr
, такие как /usr/local
, которые предназначены для изменения средствами, отличными от диспетчера пакетов. Но вы, кажется, не спрашиваете об этом. Содержимое каталогов, таких как /usr/bin
и /usr/lib
, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.
Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду dpkg-divert
.
Поскольку у меня нет всех подробностей вашей ситуации, мне было бы трудно рекомендовать конкретный синтаксис, помимо информации, представленной на этой странице руководства.
Помимо диспетчера пакетов и инструментов, которые являются его частью (в том числе dpkg-divert
), в Ubuntu нет части, которая изменяет файлы в /usr
, но если вы загружаете и запускаете исполняемые файлы установщика или создаете программное обеспечение из источника и указать префикс установки /usr
, тогда файлы будут добавлены или перезаписаны. Большинство программных средств, которые вы создаете из источника и устанавливаете с помощью sudo make install
, по умолчанию будут иметь PREFIX=/usr/local
, но какое-то программное обеспечение по умолчанию установлено на PREFIX=/usr
, поэтому стоит проверить, запустив ./configure --help
или прочитав Makefile
, прежде чем вы создадите и установите программное обеспечение.
Другим исключением являются части /usr
, такие как /usr/local
, которые предназначены для изменения средствами, отличными от диспетчера пакетов. Но вы, кажется, не спрашиваете об этом. Содержимое каталогов, таких как /usr/bin
и /usr/lib
, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.
Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду dpkg-divert
.
Поскольку у меня нет всех подробностей вашей ситуации, мне было бы трудно рекомендовать конкретный синтаксис, помимо информации, представленной на этой странице руководства.
Помимо диспетчера пакетов и инструментов, которые являются его частью (в том числе dpkg-divert
), в Ubuntu нет части, которая изменяет файлы в /usr
, но если вы загружаете и запускаете исполняемые файлы установщика или создаете программное обеспечение из источника и указать префикс установки /usr
, тогда файлы будут добавлены или перезаписаны. Большинство программных средств, которые вы создаете из источника и устанавливаете с помощью sudo make install
, по умолчанию будут иметь PREFIX=/usr/local
, но какое-то программное обеспечение по умолчанию установлено на PREFIX=/usr
, поэтому стоит проверить, запустив ./configure --help
или прочитав Makefile
, прежде чем вы создадите и установите программное обеспечение.
Другим исключением являются части /usr
, такие как /usr/local
, которые предназначены для изменения средствами, отличными от диспетчера пакетов. Но вы, кажется, не спрашиваете об этом. Содержимое каталогов, таких как /usr/bin
и /usr/lib
, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.
Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду dpkg-divert
.
Поскольку у меня нет всех подробностей вашей ситуации, мне было бы трудно рекомендовать конкретный синтаксис, помимо информации, представленной на этой странице руководства.
Помимо диспетчера пакетов и инструментов, которые являются его частью (в том числе dpkg-divert
), в Ubuntu нет части, которая изменяет файлы в /usr
, но если вы загружаете и запускаете исполняемые файлы установщика или создаете программное обеспечение из источника и указать префикс установки /usr
, тогда файлы будут добавлены или перезаписаны. Большинство программных средств, которые вы создаете из источника и устанавливаете с помощью sudo make install
, по умолчанию будут иметь PREFIX=/usr/local
, но какое-то программное обеспечение по умолчанию установлено на PREFIX=/usr
, поэтому стоит проверить, запустив ./configure --help
или прочитав Makefile
, прежде чем вы создадите и установите программное обеспечение.
Другим исключением являются части /usr
, такие как /usr/local
, которые предназначены для изменения средствами, отличными от диспетчера пакетов. Но вы, кажется, не спрашиваете об этом. Содержимое каталогов, таких как /usr/bin
и /usr/lib
, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.
Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду dpkg-divert
.
Поскольку у меня нет всех подробностей вашей ситуации, мне было бы трудно рекомендовать конкретный синтаксис, помимо информации, представленной на этой странице руководства.
Помимо диспетчера пакетов и инструментов, которые являются его частью (в том числе dpkg-divert
), в Ubuntu нет части, которая изменяет файлы в /usr
, но если вы загружаете и запускаете исполняемые файлы установщика или создаете программное обеспечение из источника и указать префикс установки /usr
, тогда файлы будут добавлены или перезаписаны. Большинство программных средств, которые вы создаете из источника и устанавливаете с помощью sudo make install
, по умолчанию будут иметь PREFIX=/usr/local
, но какое-то программное обеспечение по умолчанию установлено на PREFIX=/usr
, поэтому стоит проверить, запустив ./configure --help
или прочитав Makefile
, прежде чем вы создадите и установите программное обеспечение.
Другим исключением являются части /usr
, такие как /usr/local
, которые предназначены для изменения средствами, отличными от диспетчера пакетов. Но вы, кажется, не спрашиваете об этом. Содержимое каталогов, таких как /usr/bin
и /usr/lib
, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.
Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду dpkg-divert
.
Поскольку у меня нет всех подробностей вашей ситуации, мне было бы трудно рекомендовать конкретный синтаксис, помимо информации, представленной на этой странице руководства.
Помимо диспетчера пакетов и инструментов, которые являются его частью (в том числе dpkg-divert
), в Ubuntu нет части, которая изменяет файлы в /usr
, но если вы загружаете и запускаете исполняемые файлы установщика или создаете программное обеспечение из источника и указать префикс установки /usr
, тогда файлы будут добавлены или перезаписаны. Большинство программных средств, которые вы создаете из источника и устанавливаете с помощью sudo make install
, по умолчанию будут иметь PREFIX=/usr/local
, но какое-то программное обеспечение по умолчанию установлено на PREFIX=/usr
, поэтому стоит проверить, запустив ./configure --help
или прочитав Makefile
, прежде чем вы создадите и установите программное обеспечение.
Другим исключением являются части /usr
, такие как /usr/local
, которые предназначены для изменения средствами, отличными от диспетчера пакетов. Но вы, кажется, не спрашиваете об этом. Содержимое каталогов, таких как /usr/bin
и /usr/lib
, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.
Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду dpkg-divert
.
Поскольку у меня нет всех подробностей вашей ситуации, мне было бы трудно рекомендовать конкретный синтаксис, помимо информации, представленной на этой странице руководства.
Помимо диспетчера пакетов и инструментов, которые являются его частью (в том числе dpkg-divert
), в Ubuntu нет части, которая изменяет файлы в /usr
, но если вы загружаете и запускаете исполняемые файлы установщика или создаете программное обеспечение из источника и указать префикс установки /usr
, тогда файлы будут добавлены или перезаписаны. Большинство программных средств, которые вы создаете из источника и устанавливаете с помощью sudo make install
, по умолчанию будут иметь PREFIX=/usr/local
, но какое-то программное обеспечение по умолчанию установлено на PREFIX=/usr
, поэтому стоит проверить, запустив ./configure --help
или прочитав Makefile
, прежде чем вы создадите и установите программное обеспечение.
Другим исключением являются части /usr
, такие как /usr/local
, которые предназначены для изменения средствами, отличными от диспетчера пакетов. Но вы, кажется, не спрашиваете об этом. Содержимое каталогов, таких как /usr/bin
и /usr/lib
, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.
dpkg-divert
влияет на официальные версии файлов из установленных пакетов .deb
. Вы можете использовать его перед установкой встроенного программного обеспечения вручную с помощью make install
. Для этого вам не нужно редактировать make-файлы. Если по какой-либо причине вы хотите изменить префикс установки или любой другой параметр конфигурации в программном обеспечении, которое вы устанавливаете вручную, у большинства программ есть шаг конфигурации, где вы запускаете ./configure
. Когда есть такой шаг, сценарий конфигурации обычно принимает аргументы командной строки для специализации конфигурации - попробуйте ./configure --help
, чтобы видеть.
– Eliah Kagan
14 May 2012 в 22:25