Есть архивы. zip, jar (==zip), 7z, rar, tar.gz, tar.bz2, всё в таком роде. В архивах могут быть архивы в произвольном порядке вложенности.

Я хочу получить список файлов. В общем что-то вроде find . > files.txt. Только этот find должен заглянуть внутрь каждого архива, внутрь каждого архива внутри и тд. Т.е. что-то вроде

./backups/laptop.7z!/Users/Temp/old.rar!/tomcat-7.0/lib/servlet.jar!/javax/servlet/Servlet.class как пример одной из строк того, что долго получиться.

Архивы относительно большие, десятки гигабайтов некоторые. И очень хочется, чтобы оно ничего никуда не распаковывало, а работало исключительно каким-нибудь поточным режимом в памяти, уж не знаю, возможно ли это хотя бы в теории.

Может кто видел такую утилиту или что-то, позволяющее её соорудить.

Я думал, что Gnome Software это dnf + flatpaks. То бишь я могу спокойно ставить весь софт с Gnome Software, по возможности избегая надписи Sandboxed (не хочу я эти флатпаки, не понимаю я их).

Например если поискать Transmission, то в Gnome Software находит две версии - одна Sandboxed c registry.fedoraproject.org, вторая обычная с fedoraproject.org. Если поставить обычную, то она появится как установленная в dnf.

Однако есть такая программа как Gimp. В dnf её найти можно. В Gnome Software её тоже найти можно. Но при этом в Gnome Software находится только одна версия и она Sandboxed с registry.fedoraproject.org, т.е. явный флатпак. Вот хотелось бы понять, почему Gnome Software не видит обычную версию и где он тогда берёт эти списки.

Поставил винду в qemu, но видит только один процессор. Сначала пробовал -smp 2. Сейчас пробую -smp cpus=1,cores=2,sockets=1,maxcpus=2 разницы нет.

Полная строка (разбил по параметрам для удобства):

qemu-system-x86_64
 -name Windows10
 -uuid 2da5736a-8590-4529-8d3a-1da938b15fbf
 -machine q35,accel=kvm
 -cpu host
 -smp cpus=1,cores=2,sockets=1,maxcpus=2
 -m 4G
 -vga qxl
 -spice addr=./spice.sock,unix,disable-ticketing,gl=on
 -monitor unix:./monitor.sock,server,nowait
 -nic user,model=virtio-net-pci
 -drive file=/usr/share/OVMF/OVMF_CODE.fd,if=pflash,format=raw,readonly=on
 -drive file=./OVMF_VARS.fd,if=pflash,format=raw
 -drive file=./disk.qcow2,media=disk,if=virtio,cache=unsafe
 -drive file=/mnt/hdd/Downloads/Software/Win10_21H1_Russian_x64.iso,media=cdrom
 -drive file=/mnt/hdd/Downloads/Software/virtio-win-0.1.185.iso,media=cdrom

Если переменная iso что-то содержит, нужно передать два параметра команде: -cdrom $iso, если же она ничего не содержит, то не нужно передавать ни одного параметра.

Если не думать про пробелы в $iso, то решение простое:

if [ -z "$iso" ]
  params=
else
  params="-cdrom $iso"
fi
qemu $params

но если в $iso будут пробелы, то передастся фигня.

Хочется, чтобы работало без башизмов. С башизмами вроде можно через массив сделать.

Хост - Fedora 34 Workstation. Создаю виртуальную машину в Boxes, устанавливаю гостевую ОС (Fedora 34 Workstation). Первая загрузка инсталлятора идёт нормально, без вопросов. Устанавливаю, далее либо выключаю, либо выбираю перезагрузку. В любом случае процесс qemu завершается, далее запускается опять qemu и висит. В System Monitor видно, что он очень долго и медленно пишет что-то в образ. Около часа это всё занимает, он примерно гигабайт пишет, при этом сам образ не растёт, просто у него время модификации постоянно обновляется. В конце концов он выключается. При включении машины опять появляется qemu, опять что-то делает, тут я уже не дождался. На ночь оставлю, может дождусь… Но в любом случае какая-то дичь происходит. Никаких ошибок нигде нет. Система на SSD, виртуализация у процессора включена. Пробовал Fedora 33, Fedora 34, картинка везде одинаковая.

Не нравятся десктопные плееры. Свой писать сложно. Функционал требуется простейший - распознавать структуру вида Music/Metallica/1984 - Ride The Lightning/01 - Fight Fire With Fire.flac, игнорируя теги, показывать это в интерфейсе с очевидной группировкой по группам/альбомам, иметь возможность Play/Pause/Shuffle/Repeat. Это всё хочу, чтобы работало из браузера, т.е. я кидаю index.html в Music, запускаю оттуда веб-сервер, ну возможно один раз индексирую в какой-нибудь Music/.contents.json шелл-скриптом и оно всё работает, хоть с локалхоста, хоть с айфона (в идеале ещё хочу, чтобы с айфона работало с оффлайн-режимом, т.е. я потыкал какие-нибудь песенки, оно в какой-нибудь localStorage или куда там положено их скачало и без интернета могло играть, сейчас же HTML 5, PWA, вроде пришла такая эра). В принципе сам напишу, но может кто уже такое написал?

Категорически запрещено в любом виде пытаться извлекать мета-информацию из файлов, это просто бесит.

Установил Gnome Tweaks и там в разделе Keyboard/Additional Layout Options поставил галочку на Make Caps Lock an additional Ctrl. В большинстве приложений оно вроде работает, но есть нюансы. Например в Intellij Idea когда я жму Caps Lock+Tab, то диалог переключения вкладок не исчезает, когда я отпускаю Caps Lock, будто я его продолжаю держать. Если я использую обычный Ctrl, то всё работает нормально. Также сейчас запустил игру Factorio, в ней не работают горячие клавиши с Ctrl, если я использую вместо этого Caps Lock.

Fedora Linux 34, Gnome 40.1.0.

Предполагаю, что нужно настроить mapping на более низком уровне, как это можно сделать?

Тут.

Coq will be renamed

The Coq development team acknowledges the recent discussions (started on the Coq-Club mailing list) around Coq’s logo and name.

We wish to thank everyone that participated in these discussions. Testimonies from people who experienced harassment or awkward situations, reports about students (notably women) who ended up not learning / using Coq because of its name, were all very important so that the community could fully recognize the impact of the current name and its slang meaning in English, especially with respect to gender-diversity in the Coq community.

For these reasons, the Coq development team is open to a renaming.

Coq будет переименован

Команда разработчиков Coq принимает к сведению недавние обсуждения (начатые в списке рассылки Coq-Club) вокруг логотипа и названия Coq.

Мы хотели бы поблагодарить всех, кто принял участие в этих обсуждениях. Свидетельства людей, которые столкнулись с притеснениями или неловкими ситуациями, сообщения о студентах (особенно о девушках), которые в конечном итоге не учились / не использовали Coq из-за его названия, все это было очень важно для того, чтобы сообщество могло полностью осознать влияние нынешнего названия и его сленговое значение на английском языке, особенно в отношении гендерного разнообразия в сообществе Coq.

По этим причинам команда разработчиков Coq открыта для переименования.

Переведено с помощью www.DeepL.com/Translator (бесплатная версия)

Главное, чтобы не получилось, как с Pidora…

Aaron Bassett написал расширение для браузера RMS Open Letter Signatories Highlighter которое позволяет подсвечивать репозитории пользователей, поддержавших Ричарда Столлмана. Пользуйтесь, очень удобно.

Поставил федору 33 на latitude 3410 и всё заработали из коробки. Даже не знаю, к чему придраться. Звук, камера, сон, спецкнопки, вифи, блютус. Гном этот, конечно, дурацкий, куда-то не туда эволюция его завела, второй гном был лучше, ну да ладно, привыкну. Может подскажете, кстати, есть ли там настройка, чтобы была постоянно вида панелька с запущенными приложениями, как в винде или в макоси? Не понимаю, как без неё жить, когда куча приложений запущено. Или считается, что оно принципиально не нужно?

Red Hat statement about Richard Stallman’s return to the Free Software Foundation board

Вкратце: пока не выгоните проклятого угнетателя лолей, денег не дам. с/у Красная Шапочка.

Dell Latitude 3410 вот такой ноутбук насколько хорошо будет совместим с линуксом?

По компонентам:

Intel Core i3 10110U
Integrated Intel UHD for 10th Generation Intel Core i3-10110U
Intel Dual Band Wi-Fi 6 AX201 2x2 802.11ax 160MHz + Bluetooth 5.1

Также планирую подключать внешний 4K-монитор.

Подумываю поковыряться на досуге, исключительно фо фан с ардуиной. В схемотехнике не понимаю почти ничего кроме школьного курса физики. Почитал некоторые треды, всплывают профессионалы, которые ардуину не уважают. Собственно вопрос - что предлагается использовать вместо ардуины?

Что мне нужно:

1. Плата, которую не нужно паять, т.к. паять я умею очень плохо и скорей всего всё испорчу. Ну и вообще я программировать пока хочу, а не паять. Т.е. там должны быть какие-то дырочки, в которые я буду вставлять устройства и штырёчки и оно должно работать. Плюс оно должно быть совместимо со всякими датчиками и прочими девайсами, котрые продают в магазинах с ардуиной, не знаю, нужна ли тут какая-то совместимость или оно всё совместимо по умолчанию.

2. Всякие там контролеры питания или как оно там устроено, должно присутствовать. Чтобы я мог батарейку прицепить к нужным пинам и оно заработало, с любым напряжением.

3. Должно быть USB или как там его подключать, в общем чтобы я мог к компьютеру подключить его. Вот ардуину вроде как подключать можно прямо туда втыкая USB, а как подключают микросхемы к компьютеру профессионалы, я пока не представляю. Слышал краем уха про какие-то программаторы, у меня такого нет.

К чему я готов:

1. Мудохаться с C, ассемблером, консольными тулзами. Хотя, конечно, хочется хотя бы для начала какие-то быстрые способы чем-то там поморгать и считать какие-нибудь сигналы.

2. Потратить в пределах $200. Есть там надо какие-нибудь программаторы за $1000 покупать, это пока многовато. Если там надо партию из 1000 микросхем закупить, это тоже чересчур.

3. Желательно, чтобы оно продавалось в Казахстане или хотя бы в России. Из Китая всё идёт непонятно как.

Чего я хочу:

1. Максимально энергоэффективный чип, который только можно. Моя мечта - делать девайсы для дома и сада, которые будут работать от конденсатора и солнечной батареи и жить вечно. Или даже от радиоволн. Видел такой девайс, e-ink, который принимает информацию через NFC и при этом работает вообще без батареи, исключительно от этого самого NFC, вот такое мне нравится.

2. Чтобы на нём было как можно меньше оперативки и тд, хочу прям такого хардкора, чтобы байты считать. Ну вот как в Arduino - я посмотрел спеки, там вроде килобайт оперативки, мне это по вкусу. Конечно это не самоцель, а в контексте пункта 1, наверное чем слабей чип, тем меньше он энергии жрёт.

3. Радио-обмен. Не знаю, должно ли оно быть в чипе или отдельной платой, в этом не понимаю ничего. Но, наверное, это должно быть уровнем ниже WiFi/Bluetooth.

4. Как можно меньше legacy и как можно современней тулкиты. Чтобы, например, можно было писать на современном C++ при желании или даже на Rust. Как я понимаю, у Arduino с этим проблемы.

5. Отладка. Не очень понял, как с этим в Arduino, говорят, что нельзя отлаживаться по шагам? Типа printf-ами надо. Как-то звучит дико в 21-м веке. Я, конечно, по-всякому умею, но всё же это несерьёзно.

Что я хочу сделать когда-нибудь, когда мои знания мне это позволят:

1. Всякая мелочёвка для автоматизации дома и сада. Охранная система, открывалка ворот с пультом, электронный замок с распознаванием отпечатка пальца, автоматическая поливалка. Ну какую-нибудь метеостанцию наверное все делают. Тут в принципе в плане логики всё примитивно, как я понимаю, просто связать всякие датчики и моторчики в одну систему.

2. Рация с шифрованием.

3. Устройство для хранения паролей и крипто-ключей, грубо говоря аппаратный KeePass, маскирующийся под клавиатуру.

Видел советы микроконтроллеров STM, я так понял, это что-то вроде ARM. Насколько он удовлетворяет моим хотелкам, в частности по энергоэффективности? Там, похоже, 32-битная архитектура, как-то это чересчур? Зачем мне столько битов.

Подумываю о некоторой домашней автоматизации. В моём представлении это выглядит так: подъезжаю к воротам, мой телефон по GPS определяет, что я близко к воротам и выщёлкивает уведомление сверху экрана, мол открыть? Я жму «да», он связывается с моим домашним сервером, аутентифицируется и посылает команду на открытие ворот. В общем-то всё примитивно и понятно. Но остался последний вопрос - а как запускать своё приложение на своём айфоне?

Как я понимаю, веб-приложений мне не хватит, там нет возможности следить за GPS в фоне и выщёлкивать уведомления.

Если я напишу на Objective C своё приложение, установлю его себе через Xcode, то оно испортится через несколько дней. Пока это самый реальный вариант, но как-то довольно геморно. Есть ли способ переустановить это приложение через WiFi в автоматическом или полу-автоматическом режиме? Чтобы раз в день оно переустанавливалось, например. Провода не допустимы, я ими не пользуюсь. Также не хочется как-то отвлекаться, запускать какие-то приложения и тд, надо, чтобы само всё работало. Сомневаюсь, что можно, но вдруг.

Вроде там какие-то скрипты сейчас в айфоне сделали, Shortcuts называется. Я немножко почитал и вроде даже мне этого может хватить. Если кто-то в этом мастер, отпишитесь, пожалуйста. Что-то вроде «триггер WiFi сеть, показать уведомление, по клику на уведомление открыть сайт». А в сайте уже я кнопку нарисую.

PS что только люди не придумают, чтобы на андроид не переходить

PPS а посоветуйте мне андроид премиальный, чтобы стоил не меньше 500 долларов, а лучше больше, чтобы там был чистый андроид, без всяких китайских дополнений, чтобы там была беспроводная зарядка, NFC, чтобы там был экран как можно меньше, в идеале 3.5". Кроме гугл пикселя, я так понимаю, ничего нет? Чистый андроид это либо гугл пиксель либо Android One, а по Android One я не нашёл телефонов с беспроводной зарядкой и NFC.

В Developer Tools вроде есть кусками всё, что нужно для IDE: всякие отступы-подсветки-автодополнения, есть REPL, можно редактировать локальные файлы, но всё равно оно как-то непонятно и неудобно. Посоветуйте какие-то туториалы или что-то подобное, как настроить его, чтобы полноценно разрабатывать сайты с HTML+JS+CSS, как я это делаю в том же WebStorm-е, например.

Одно время серьёзной проблемой биткоина были мелкие переводы. Перевод мог застрять вплоть до нескольких часов, если блок не майнился, а со временем ещё и дорогой очень стал. Даже те, кто начал что-то продавать за биткоины, перестали.

Панацеей от всех бед считалась сеть Lightning. Тут и мгновенные переводы и нулевые комиссии. Но как-то не взлетала она, всё экспериментальной была. Я даже и следить перестал.

А тут недавно случайно увидел, что её давно зарелизили.

Ну и как оно? Все проблемы биткоина решены? Можно внедрять посекундную оплату чего-нибудь?

Имеется VPS с IPv6. Gateway вне подсети. Настроено так:

iface ens3 inet6 static
        address 2a04:52c1:101:680:bb9:8e06:be88:4d43/64
        gateway 2a04:52c1:101::1

ifup вроде работает нормально, IPv6 работает. Но ifdown выдаёт следующие то ли ошибки, то ли предупреждения:

# ifdown --verbose ens3
ifdown: configuring interface ens3=ens3 (inet)
/bin/run-parts --verbose /etc/network/if-down.d
 /sbin/ip route del default via 5.2.73.1  dev ens3 2>&1 1>/dev/null || true
/sbin/ip addr del 5.2.73.4/255.255.255.0 broadcast 5.2.73.255     dev ens3 label ens3
/sbin/ip -4 addr flush dev ens3
/sbin/ip link set dev ens3 down
/bin/run-parts --verbose /etc/network/if-post-down.d
ifdown: configuring interface ens3=ens3 (inet6)
/bin/run-parts --verbose /etc/network/if-down.d
 /sbin/ip -6 route del default via 2a04:52c1:101::1  dev ens3
RTNETLINK answers: No such process
/sbin/ip -6 addr del 2a04:52c1:101:680:bb9:8e06:be88:4d43/64  dev ens3
RTNETLINK answers: Cannot assign requested address
/sbin/ip -6 addr flush dev ens3
/sbin/ip link set dev ens3 down
/bin/run-parts --verbose /etc/network/if-post-down.d

Собственно предупреждения (которые без –verbose показываются):

RTNETLINK answers: No such process
RTNETLINK answers: Cannot assign requested address

Хотелось бы понять их причину и по возможности убрать.

Имеется сервер со Strongswan, на котором настроен IKEv2 VPN. Имеется клиентский компьютер с Windows 10, на котором настроено подключение. Иногда оно работает, иногда не работает (без каких-либо изменений). Подозреваю, что проблема в провайдере, но хотелось бы убедиться, что не у меня. На данный момент запустил tcpdump на сервере и wireshark на компьютере, сделал попытку подключения, Windows сказала, что удалённый сервер не отвечает.

Вот лог на сервере (IP подкорректировал во имя никому не нужной секретности, 1.2.3.4 это сервер, 5.6.7.8 это клиент):

# tcpdump -n -i ens3 ip host 5.6.7.8 and udp
tcpdump: verbose output suppressed, use -v or -vv for full protocol decode
listening on ens3, link-type EN10MB (Ethernet), capture size 262144 bytes
21:47:47.210960 IP 5.6.7.8.500 > 1.2.3.4.500: isakmp: parent_sa ikev2_init[I]
21:47:47.229750 IP 1.2.3.4.500 > 5.6.7.8.500: isakmp: parent_sa ikev2_init[R]
^C
2 packets captured
4 packets received by filter
0 packets dropped by kernel

Вот wireshark с похожим фильтром:

1	0.000000	192.168.1.31	1.2.3.4	ISAKMP	674	IKE_SA_INIT MID=00 Initiator Request
2	0.112984	1.2.3.4	192.168.1.31	ISAKMP	490	IKE_SA_INIT MID=00 Responder Response
3	0.134163	192.168.1.31	1.2.3.4	ISAKMP	626	IKE_AUTH MID=01 Initiator Request (fragment 1/4)
4	0.134271	192.168.1.31	1.2.3.4	ISAKMP	626	IKE_AUTH MID=01 Initiator Request (fragment 2/4)
5	0.134339	192.168.1.31	1.2.3.4	ISAKMP	626	IKE_AUTH MID=01 Initiator Request (fragment 3/4)
6	0.134392	192.168.1.31	1.2.3.4	ISAKMP	290	IKE_AUTH MID=01 Initiator Request (fragment 4/4)
7	1.134337	192.168.1.31	1.2.3.4	ISAKMP	626	IKE_AUTH MID=01 Initiator Request (fragment 1/4)
8	1.134359	192.168.1.31	1.2.3.4	ISAKMP	626	IKE_AUTH MID=01 Initiator Request (fragment 2/4)
9	1.134369	192.168.1.31	1.2.3.4	ISAKMP	626	IKE_AUTH MID=01 Initiator Request (fragment 3/4)
10	1.134380	192.168.1.31	1.2.3.4	ISAKMP	290	IKE_AUTH MID=01 Initiator Request (fragment 4/4)
11	2.134875	192.168.1.31	1.2.3.4	ISAKMP	626	IKE_AUTH MID=01 Initiator Request (fragment 1/4)
12	2.134922	192.168.1.31	1.2.3.4	ISAKMP	626	IKE_AUTH MID=01 Initiator Request (fragment 2/4)
13	2.134945	192.168.1.31	1.2.3.4	ISAKMP	626	IKE_AUTH MID=01 Initiator Request (fragment 3/4)
14	2.134971	192.168.1.31	1.2.3.4	ISAKMP	290	IKE_AUTH MID=01 Initiator Request (fragment 4/4)

Если что, Windows стоит за NAT-ом (обычный провайдерский модем).

Все устройства пробовал перезагружать. Иногда помогает, но не в этот раз. Других сетевых глюков кроме VPN-а я не наблюдаю, всякие игры через UDP работают без нареканий.

Собственно видно, что Windows отправляет пакеты вида «ISAKMP 626 IKE_AUTH MID=01 Initiator Request (fragment 1/4)», а сервер их не получает.

Правда у меня вызывает некоторое непонимание строчка в tcpdump-е:

2 packets captured
4 packets received by filter

Конечно всё равно не сходятся, но не понятно, почему 4 пакета получено фильтром, что это означает. Хотелось бы для общего кругозора разобраться.

Конфиги strongswan-а почти дефолтные, если нужно - выложу, не думаю, что это имеет значение. На nftables всё что нужно разрешено.

Кстати ещё этот VPN настроен на iOS и там тоже подобные проблемы. Но wireshark я там запустить не могу, поэтому тут сложней понять что-либо.

На модеме, если что, я вообще ничего не могу запустить, доступ туда только к веб-интерфейсу, в котором ничего интересного нет.

Не знаю точно, как такая штука вообще называется, но посмотрел видео и меня прям вштырило. https://youtu.be/T0VdSq7mMM0 тут. Как-то вообще не представлял, что можно так легко делать такие миниатюрные штуки. Расскажите про это побольше, кто в теме.

1. Сколько стоит вход в такое хобби? Погуглил, хороший миниатюрный ЧПУ токарный станок гуглится примерно за 150 т.р., фрезерный в районе 400 т.р. (топовые комплектации). Это всё, что нужно? Ну плюс всякая мелочёвка, это понятно.

2. Я так понимаю, все эти болванки железные стоят копейки?

3. Насколько твёрдые металлы можно обрабатывать такими способами? Только мягкие?

4. Собственно самое интересное - а что вообще можно так делать, что потом можно продать? Зажигалки, что ещё? Я так понял, вообще говоря это всё используют часовые мастеры для создания сломанных деталей часов? А то процесс выглядит очень круто, но сходу не очень представляю, что полезного можно с этим всем сделать.

5. Выглядит всё довольно безопасно, палец вроде отрезать тут надо постараться. Ну разве что стружка в глаз попадёт. Это я со столяркой сравниваю, например, где и руку можно отрезать запросто и пылью древесной надышаться и сдохнуть.