Как создать файл поддержки скрипта: /// нотация?

Question 1

Производительность WiFi зависит в основном от набора микросхем на вашей WiFi-карте (или ручке) и драйвера для упомянутого чипсета.

На странице информации о драйверах есть список всех поддерживаемых наборов микросхем.

Обычно карты или палочки с одним из этих чипсетов легко (и дешево). Кроме того, новые модели могут использовать как беспроводной стандарт ath9k , так и частоты 5 ГГц, что делает их более надежными в будущем.

Question 2

Чтобы удалить префикс file:// из URL-адреса, вы можете использовать sed:

echo "file:///home/user/path/file" | sed "s/^file:\/\///g"

Что делает выше:

Отображает URL-адрес стандартного вывода (так его можно изменить с помощью sed) Заменяет все вхождения file:// в любой строке, начинающейся с file:// ничем. Это эффективно удаляет file:// из URL-адреса, остающегося только /home/user/path/file

. Чтобы использовать это из скрипта, вы можете попробовать следующее:

cat $(echo "file:///home/user/path/file" | sed "s/^file:\/\///g")

Теперь сообщение об ошибке: [ ! d7]

cat: /home/user/path/file: No such file or directory

(Обратите внимание, что это относится к правильному имени файла вместо URL.)

Было бы намного чище хранить преобразованное имя файла в переменной оболочки и использовать его впоследствии .

MYFILE=$(echo "file:///home/user/path/file" | sed "s/^file:\/\///g")
cat $MYFILE

Question 3

Question 4

Я не знаю никаких команд, которые конвертируют между файловыми urls и файловыми путями, но вы можете конвертировать с помощью python или любого другого языка с привязками к gio. Например :............d0]

$ python -c 'import gio,sys; print(gio.File(sys.argv[1]).get_path())' file:///home/user/path/file%20with%20spaces
/home/user/path/file with spaces

Question 5

Я считаю, что вы можете сделать это, это сам bash. Попробуйте следующее

echo "file:///home/user/path/file" | cut -d'/' -f3-
/home/user/path/file

Он разделит до файла: //, а остальное будет эхом на терминале.

Question 6

Вы можете использовать это, если file_path содержит путь:

#!/bin/bash

file_path='file:///home/me/Desktop/path test'

file_path="${file_path#file://}"

echo "${file_path}"

, который печатает /home/me/Desktop/path test. Это позволяет работать с или без file://, используя только манипуляции с строкой Bash.

Вы можете добавить это к функции (в .bashrc) для удобства использования:

Функция:

norm_path() {
    echo "${@#file://}"
}

Использование:

cat "$(norm_path file:///home/user/path/file)"

Question 7

Question 8

Вы также можете использовать urlencode (sudo apt-get gridsite-clients):

$ echo "$(urlencode -d "file:///folder/with%20spaces")"
file:///folder/with spaces
$ echo "$(urlencode -d "file:///folder/with%20spaces"|cut -c 8-)"
/folder/with spaces

Если вам не нужна поддержка в шестнадцатеричной форме, вы можете просто использовать cut -c 8-. В качестве альтернативы вы можете использовать urlencode с любым другим методом удаления file:// (sed, расширение скобок и т. Д.)

Question 9

Я не знаю никаких команд, которые конвертируют между файловыми urls и файловыми путями, но вы можете конвертировать с помощью python или любого другого языка с привязками к gio. Например ::

$ python -c 'import gio,sys; print(gio.File(sys.argv[1]).get_path())' file:///home/user/path/file%20with%20spaces
/home/user/path/file with spaces

Question 10

Я считаю, что вы можете сделать это, это bash. Попробуйте следующее

echo "file:///home/user/path/file" | cut -d'/' -f3-
/home/user/path/file

Он разделит до файла: //, а остальное будет эхом на терминале.

Question 11

Я не знаю никаких команд, которые конвертируют между файловыми urls и файловыми путями, но вы можете конвертировать с помощью python или любого другого языка с привязками к gio. Например ::

$ python -c 'import gio,sys; print(gio.File(sys.argv[1]).get_path())' file:///home/user/path/file%20with%20spaces
/home/user/path/file with spaces

Question 12

Я считаю, что вы можете сделать это, это bash. Попробуйте следующее

echo "file:///home/user/path/file" | cut -d'/' -f3-
/home/user/path/file

Он разделит до файла: //, а остальное будет эхом на терминале.

Question 13

Question 14

Вы также можете использовать urlencode (sudo apt-get gridsite-clients):

$ echo "$(urlencode -d "file:///folder/with%20spaces")"
file:///folder/with spaces
$ echo "$(urlencode -d "file:///folder/with%20spaces"|cut -c 8-)"
/folder/with spaces

Если вам не нужна поддержка в шестнадцатеричной системе, вы можете просто использовать cut -c 8-. В качестве альтернативы вы можете использовать urlencode с любым другим методом удаления file:// (sed, расширение брекета и т. Д.)

Question 15

Я не знаю никаких команд, которые конвертируют между файловыми urls и файловыми путями, но вы можете конвертировать с помощью python или любого другого языка с привязками к gio. Например ::

$ python -c 'import gio,sys; print(gio.File(sys.argv[1]).get_path())' file:///home/user/path/file%20with%20spaces
/home/user/path/file with spaces

lgarzo · Accepted Answer · 25 May 2018 в 17:18

Чтобы удалить префикс file:// из URL-адреса, вы можете использовать sed:

echo "file:///home/user/path/file" | sed "s/^file:\/\///g"

Что делает выше:

Отображает URL-адрес стандартного вывода (так его можно изменить с помощью sed) Заменяет все вхождения file:// в любой строке, начинающейся с file:// ничем. Это эффективно удаляет file:// из URL-адреса, остающегося только /home/user/path/file

. Чтобы использовать это из скрипта, вы можете попробовать следующее:

cat $(echo "file:///home/user/path/file" | sed "s/^file:\/\///g")

Теперь сообщение об ошибке: [ ! d7]

cat: /home/user/path/file: No such file or directory

(Обратите внимание, что это относится к правильному имени файла вместо URL.)

Было бы намного чище хранить преобразованное имя файла в переменной оболочки и использовать его впоследствии .

MYFILE=$(echo "file:///home/user/path/file" | sed "s/^file:\/\///g")
cat $MYFILE

geirha · Answer 2 · 25 May 2018 в 17:18

Я не знаю никаких команд, которые конвертируют между файловыми urls и файловыми путями, но вы можете конвертировать с помощью python или любого другого языка с привязками к gio. Например :............d0]

$ python -c 'import gio,sys; print(gio.File(sys.argv[1]).get_path())' file:///home/user/path/file%20with%20spaces
/home/user/path/file with spaces

6

ответ дан geirha 25 May 2018 в 17:18

1

Огромное спасибо! Ваша команда также работает с умлаутами, что идеально подходит для моего использования. – Glutanimate 25 December 2012 в 08:06
2

Использование этого решения вместо того, чтобы сворачивать ваше собственное, имеет еще одно преимущество: поддержка протоколов, отличных от file:///, таких как sftp://, освобождается из коробки бесплатно через gvfs. – aplaice 17 November 2016 в 05:16

Mitch · Answer 3 · 25 May 2018 в 17:18

Я считаю, что вы можете сделать это, это сам bash. Попробуйте следующее

echo "file:///home/user/path/file" | cut -d'/' -f3-
/home/user/path/file

Он разделит до файла: //, а остальное будет эхом на терминале.

0

ответ дан Mitch 25 May 2018 в 17:18

1

Ницца, +1. Однако cut никоим образом не является частью bash. – terdon♦ 1 August 2013 в 23:18
2

Это будет работать некорректно, если путь не начинается с file://. – kiri 11 January 2014 в 07:36

kiri · Answer 4 · 25 May 2018 в 17:18

Вы можете использовать это, если file_path содержит путь:

#!/bin/bash

file_path='file:///home/me/Desktop/path test'

file_path="${file_path#file://}"

echo "${file_path}"

, который печатает /home/me/Desktop/path test. Это позволяет работать с или без file://, используя только манипуляции с строкой Bash.

Вы можете добавить это к функции (в .bashrc) для удобства использования:

Функция:

norm_path() {
    echo "${@#file://}"
}

Использование:

cat "$(norm_path file:///home/user/path/file)"

wroth · Answer 5 · 25 May 2018 в 17:18

Вы также можете использовать urlencode (sudo apt-get gridsite-clients):

$ echo "$(urlencode -d "file:///folder/with%20spaces")"
file:///folder/with spaces
$ echo "$(urlencode -d "file:///folder/with%20spaces"|cut -c 8-)"
/folder/with spaces

Если вам не нужна поддержка в шестнадцатеричной форме, вы можете просто использовать cut -c 8-. В качестве альтернативы вы можете использовать urlencode с любым другим методом удаления file:// (sed, расширение скобок и т. Д.)

geirha · Answer 6 · 25 July 2018 в 20:53

Я не знаю никаких команд, которые конвертируют между файловыми urls и файловыми путями, но вы можете конвертировать с помощью python или любого другого языка с привязками к gio. Например ::

$ python -c 'import gio,sys; print(gio.File(sys.argv[1]).get_path())' file:///home/user/path/file%20with%20spaces
/home/user/path/file with spaces

Mitch · Answer 7 · 2 August 2018 в 02:36

Я считаю, что вы можете сделать это, это bash. Попробуйте следующее

echo "file:///home/user/path/file" | cut -d'/' -f3-
/home/user/path/file

Он разделит до файла: //, а остальное будет эхом на терминале.

geirha · Answer 8 · 4 August 2018 в 18:24

Я не знаю никаких команд, которые конвертируют между файловыми urls и файловыми путями, но вы можете конвертировать с помощью python или любого другого языка с привязками к gio. Например ::

$ python -c 'import gio,sys; print(gio.File(sys.argv[1]).get_path())' file:///home/user/path/file%20with%20spaces
/home/user/path/file with spaces

Mitch · Answer 9 · 7 August 2018 в 20:30

Я считаю, что вы можете сделать это, это bash. Попробуйте следующее

echo "file:///home/user/path/file" | cut -d'/' -f3-
/home/user/path/file

Он разделит до файла: //, а остальное будет эхом на терминале.

wroth · Answer 10 · 7 August 2018 в 20:30

Вы также можете использовать urlencode (sudo apt-get gridsite-clients):

$ echo "$(urlencode -d "file:///folder/with%20spaces")"
file:///folder/with spaces
$ echo "$(urlencode -d "file:///folder/with%20spaces"|cut -c 8-)"
/folder/with spaces

Если вам не нужна поддержка в шестнадцатеричной системе, вы можете просто использовать cut -c 8-. В качестве альтернативы вы можете использовать urlencode с любым другим методом удаления file:// (sed, расширение брекета и т. Д.)

geirha · Answer 11 · 15 August 2018 в 21:38

Я не знаю никаких команд, которые конвертируют между файловыми urls и файловыми путями, но вы можете конвертировать с помощью python или любого другого языка с привязками к gio. Например ::

$ python -c 'import gio,sys; print(gio.File(sys.argv[1]).get_path())' file:///home/user/path/file%20with%20spaces
/home/user/path/file with spaces

6

ответ дан geirha 15 August 2018 в 21:38

1

– Glutanimate 25 December 2012 в 08:06
2

– aplaice 17 November 2016 в 05:16

Как создать файл поддержки скрипта: /// нотация?

11 ответов

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

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