Долговечность файлов в глобальных каталогах

В приведенной вами ссылке упоминается, что SyncTex - это новая функция Gnome 2.32, а не Gedit 2.32. Вы можете проверить, какую версию gnome у вас есть, выполнив gnome-session --version.

Чтобы включить SyncTex, вам нужно будет установить дополнительные плагины gedit, выполнив sudo apt-get install gedit-plugins. После установки откройте Gedit и включите плагин в меню Edit -> Preferences -> Plugins.

2
задан 14 May 2012 в 22:02

8 ответов

Если вы хотите переадресовывать файлы, связанные с установленными пакетами (или которые вы собираетесь устанавливать), чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду 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, должно быть изменено менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.

1
ответ дан 25 May 2018 в 11:26
  • 1
    Думаю, тогда мне нужно будет копать все веб-файлы Makefile, потому что установка выполняется с помощью «make install " – highsciguy 14 May 2012 в 22:17
  • 2
    Команда dpkg-divert влияет на официальные версии файлов из установленных пакетов .deb. Вы можете использовать его перед установкой встроенного программного обеспечения вручную с помощью make install. Для этого вам не нужно редактировать make-файлы. Если по какой-либо причине вы хотите изменить префикс установки или любой другой параметр конфигурации в программном обеспечении, которое вы устанавливаете вручную, у большинства программ есть шаг конфигурации, где вы запускаете ./configure. Когда есть такой шаг, сценарий конфигурации обычно принимает аргументы командной строки для специализации конфигурации - попробуйте ./configure --help, чтобы видеть. – Eliah Kagan 14 May 2012 в 22:25

Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду 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, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.

1
ответ дан 25 July 2018 в 18:56

Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду 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, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.

1
ответ дан 2 August 2018 в 01:03

Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду 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, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.

1
ответ дан 4 August 2018 в 16:35

Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду 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, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.

1
ответ дан 6 August 2018 в 01:15

Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду 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, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.

1
ответ дан 7 August 2018 в 18:40

Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду 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, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.

1
ответ дан 10 August 2018 в 07:19

Если вы хотите переадресовывать файлы, связанные с установленными (или установленными вами) пакетами, чтобы вы могли заменить их своими собственными файлами, но позже их восстановить, вы должны использовать команду 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, должно быть изменено только менеджером пакетов, если вы не измените их вручную или не сообщите стороннему установщику или процесс сборки, чтобы поместить туда файлы.

1
ответ дан 15 August 2018 в 19:21
  • 1
    Думаю, тогда мне нужно будет копать все веб-файлы Makefile, потому что установка выполняется с помощью «make install & quot; – highsciguy 14 May 2012 в 22:17
  • 2
    Команда dpkg-divert влияет на официальные версии файлов из установленных пакетов .deb. Вы можете использовать его перед установкой встроенного программного обеспечения вручную с помощью make install. Для этого вам не нужно редактировать make-файлы. Если по какой-либо причине вы хотите изменить префикс установки или любой другой параметр конфигурации в программном обеспечении, которое вы устанавливаете вручную, у большинства программ есть шаг конфигурации, где вы запускаете ./configure. Когда есть такой шаг, сценарий конфигурации обычно принимает аргументы командной строки для специализации конфигурации - попробуйте ./configure --help, чтобы видеть. – Eliah Kagan 14 May 2012 в 22:25

Другие вопросы по тегам:

Похожие вопросы: