WSL не обновляется при обновлении файловой системы Windows

Вот моя проблема:

Я редактирую файл в Windows, используя редактор файлов Windows. Я сохраняю его в папке «Мои документы». Я пытаюсь скомпилировать файл WSL с помощью gcc. Если бы я сохранил файл как новый файл, я могу найти его и работать с ним. Если я сохраню файл без создания нового файла (просто используя Ctrl + S), WSL не заметит изменений. cat file.c показывает старый файл, и его невозможно обновить.

Есть ли способ заставить WSL признать, что файл был обновлен и показать новую версию?

-1
задан 20 March 2018 в 08:42

2 ответа

Предполагая, что вы запускаете Windows 10 Creators Update или позже, WSL поддерживает уведомления об изменении файла через iNotify, поэтому, если вы откроете & amp; отредактируйте файл в gedit, VSCode, Sublime, Notepad, Notepad ++ и т. д. и нажмите «Сохранить», файл будет обновлен, и WSL должен получить уведомление об изменении файла inotify.

Примечание. Если вы повторно нажмете CTRL + S в некоторых редакторах, они не будут записываться в файл до тех пор, пока содержимое редактора не изменится. Попробуйте вставить и удалить пробел (чтобы обмануть редактора, подумав, что его содержимое изменилось) и повторное сохранение впоследствии.

В качестве альтернативы попробуйте другой редактор (например, один из перечисленных выше).

0
ответ дан 17 July 2018 в 18:29

Предполагая, что вы запускаете Windows 10 Creators Update или позже, WSL поддерживает уведомления об изменении файла через iNotify, поэтому, если вы откроете & amp; отредактируйте файл в gedit, VSCode, Sublime, Notepad, Notepad ++ и т. д. и нажмите «Сохранить», файл будет обновлен, и WSL должен получить уведомление об изменении файла inotify.

Примечание. Если вы повторно нажмете CTRL + S в некоторых редакторах, они не будут записываться в файл до тех пор, пока содержимое редактора не изменится. Попробуйте вставить и удалить пробел (чтобы обмануть редактора, подумав, что его содержимое изменилось) и повторное сохранение впоследствии.

В качестве альтернативы попробуйте другой редактор (например, один из перечисленных выше).

0
ответ дан 23 July 2018 в 19:16

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

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