Министерство обороны РФ начало переводить служебные компьютеры на Astra Linux SE

Они прекрасно отличат Libre Office от Microsoft Office.

О, да! Отличат. Трудно не заметить отсутствие лишней йобы и присутствие вменяемых инструментов для управления структурой и форматированием документов.

Есть «МойОфис», вроде как отечественное...

Вот скажите мне разумно зачем в Минобороны Офис? Ленин писал на бумажке. Печатали в газетах буквами и если снимали статью газета выходила с пустой дырой. Что мешает набирать текст в простом текстовом редакторе?

Каккой мелтдаун?.. Там Эльбрусы и Байкалы. Проснитесь уже!!!

Потому, что вы школьник, и вы не понимаете, что такое документооборот.

Простым воякам может и можно просто буквами, а если бумажка куда-нибудь наружу идёт? То там без красоты никак, и герб поставить и рег.номер с датой, и ФИО.получателя жирком обвести. А то ещё и картинку приложить... Без офиса нынче никак )

Полагаю речь идёт об обзоре на фейсбуке, где в комментариях отметился сотрудник астры:

«Андрей, будьте так добры - назовите мне название организации, в которой на Астра Линукс 1.3 портируют (или переособирают) порядка 200 пакетов из Дебиан. Думаю, что я смогу доходчиво объяснить людям, что не стоит вносить изменения в сертифицированный дистрибутив и аттестованное рабочее место. Поверьте, я иногда могу быть очень убедительным».

К сожалению ссылку на фейсбуке открыть не могу, так как сейчас нахожусь в Иране. Но помню, что там была ещё пара перлов от очевидно подвыпившего астровца.

Как испортить Debian

Я? Приплыли. ну извините.

То там без красоты никак, и герб поставить и рег.номер с датой, и ФИО.получателя жирком обвести. А то ещё и картинку приложить... Без офиса нынче никак

Ну картинки я еще в WD прикладывал.

а что, теперь уже запрещено собирать пакеты у себя на машине? мдя.

все эти сертификаты и аттестации - суть та же копирастия. вот потому ну их в баню.

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

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

Либеральный запашок ))) К вашему сведению, это так и есть. Код проверяется.

Ну и где тут угрозы?

///Подключить в /mnt 1-4 дополнительных раздела, а потом разруливать симлинками!

А смысл? Проще напрямую работать и при таком варианте. Но вот проблема в том, что, намекну, с торрентами это не очень удобно.

///а потом при крутой ошибке в ФС не мочь нормально загрузиться

ОС у меня даже не на отдельном разделе, а на отдельном диске. До была на отдельном разделе, т.е. ошибки в хомяке никак не влияли на возможность загрузиться.

///или распространить баг в фильме на докУмент

Будь у меня критически важные документы, я бы их хранил отдельно.

///Если бы в системник с такой частотой попадали метеориты,

Если бы ФС ломались с такой же частотой, отсутствовали бы ИБС и электричество выключалось бы каждый раз, как лечишь баг в ФС, то давно бы уже... сделали безбажную ФС.

Я вообще не понимаю, какой ФС вы пользуетесь, что такие ужасы рассказываете?

///Крусадером отвыкаешь пользоваться после того как станешь перетягивать файлы между десятком окон.

Зачем?! У Крусадера есть вкладки. У Завоевателя, конечно, так же есть плюшки в виде вкладок и даже можно делать сразу несколько «рабочих полей»* (забыл, как называется) на вкладке, но Крусадер мне ближе.

--------

* это когда вкладка разбита на несколько окон, в каждом из которых открыт свой каталог. Но окно Завоевателя одно.

ONLYOFFICE, вроде бы, как раз такой.

Государство состоит из людей.

Верификация - это и есть максимально строгая проверка качества кода

Верификация - это проверка кода на соответствие модели (формальному описанию). И не более. Если модель хреновая, или инструмент проверки хреновый, или методика хреновая - верификация ничего не стоит.

Как часто вы сталкивались с верификацией кода? Я к тому, что до верификации вообще почти никто не доходит. А люди из РБТ заморочились и провели верификацию

Каккой мелтдаун?.. Там Эльбрусы и Байкалы. Проснитесь уже!!!

Meltdown был как минимум на двух разных архитектурах - x86 и ARM. Так что да, проснитесь.

Как часто вы сталкивались с верификацией кода?

Я с ней не сталкиваюсь. Просто знаю, что это такое.

Я к тому, что до верификации вообще почти никто не доходит. А люди из РБТ заморочились и провели верификацию

Прекрасно. Но результаты и методика этой верификации доступны примерно никому, и судить о ее полезности может примерно никто. Или у МО РФ есть аналог TSEC и Астра ее прошла?

Падажжи, я же выше выкладывал эту инфу о методике, ты не видел, что ли?

Падажжи, я же выше выкладывал эту инфу о методике, ты не видел, что ли?

PDF с презентацией аспирантской работы? Видел. Но там нет никаких подробностей.

Кстати, там приведены фрагменты кода на Frama-C. Он действительно используется в Parsec?

Это не аспирантская работа, это аспирант сделал доклад по работе кафедры исп ран.

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

Что там в парсеке, я не знаю. Дополнительная инфа по проекту верификации кода в Астре - тут http://astraver.linuxtesting.org

Там есть более подробные моменты.

Это не аспирантская работа, это аспирант сделал доклад

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

Я не думаю на эту тему, а просто читаю документ по ссылке. В нем написано, что он сделан аспирантом - я говорю, что это работа аспиранта.

Дополнительная инфа по проекту верификации кода в Астре - тут http://astraver.linuxtesting.org

По беглому просмотру - это Frama-C/ACSL. Круто, но непосредственного отношения к верификации Parsec не имеет. Если, конечно, они не используются в Parsec.

А результаты на astraver есть? В разделе «Статьи» - только чужие статьи с введением в Frama и ACSL.

даже минимальное изменение интерфейса юзер воспринимает как опасную интервенцию в его уютный мирок и начинает саботировать. такой саботаж юзеров привёл к отказу от внедрения СПО в Германии. хотя всё было готово, всё работало и показатели производительности были в норме. но юзеры ныли. просто потому, что было непривычно. и в итоге сорвали весь процесс перехода.

Вот потому и нужны линуксовые игры и побольше. Тогда ОС которой можно будет играть пользователи сами потянут в производство. Сони следует задуматься и добавить в свои консоли функционала для возможности использования их в офисе!

http://www.ispras.ru/upload/iblock/5e5/5e5ac36633ead83d10476199d697be85.pdf

Да, вот этот тред: https://www.facebook.com/sloneus/posts/493808747437293

Ваш паблисити это просто мимими, ну серьезно.

Я вас уверяю, Андрей не сильно испугался )))))

Я вас уверяю, Андрей не сильно испугался )))))

Там в треде был чувак, который полгода ждал ответа на тикет. А ему в ответ заявляют «ну я пастараюсь биз мата))))))))))))». Я шото думаю, продлять лицензию он не станет.

Я шото думаю, продлять лицензию он не станет.

Новость, которую ты комментируешь, говорит об обратном

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

ога, эльбрус i5-2600

Зря ты так.

С 2007 года OpenOffice использую. Весьма неплохо

С 2007 года OpenOffice использую. Весьма неплохо

И base тоже?

Новость, которую ты комментируешь, говорит об обратном

Новость, которую я комментирую, говорит о том, что _ГОСУДАРСТВО_ закупило лицензий. Потому что кто их спрашивает, этих несчастных работников министерства.

Наш опыт использования Rodin состоит в формализации и доказательстве корректности модели управления правами доступа и информационным потоками операционной системы специального назначения Astra Linux Special Edition. Модель была полностью формализована и верифицирована, что позволило обнаружить и исправить ряд неточностей в её изначальном текстовом описании.

Т.е. где-то существует или существовала модель Parsec на чем-то, называемом Event-B. Хорошо, хотя и непонятно, чем это полезно за пределами Astra.

Не надо делать кучу дипломов, надо пропустить через себя кучу документов из разных офисов разных версий на разных принтерах и тогда тебе просто захочется всех убить и разработчиков и составителей документов. Ничего со времен ворд 6 не изменилось, двадцать лет развития в жопу.

А вы хотите использовать модуль безопасности Астры за пределами Астры?

а что, теперь уже запрещено собирать пакеты у себя на машине? мдя.

Странно говорить об этом взрослой женщине, но вообще-то тут вопрос ответственности.

Кто собрал, тот и отвечает.

А вы хотите использовать модуль безопасности Астры за пределами Астры?

Нет. мне вообще Астру использовать не суждено (хотя я пытался). Мне просто любопытно, оценивал ли кто-то за пределами Astra модель, относительно которой производится врификация parsec (то, что никто не оценивал реализующий модель код, я уже понял).

Этим занимается Институт системного программирования РАН, группу специалистов возглавляет Хорошилов

Этим занимается Институт системного программирования РАН, группу специалистов возглавляет Хорошилов

Охренеть, в РАН ещё остались живые люди.

Кстати, а почему не суждено? Что не получилось?

А смысл? Проще напрямую работать и при таком варианте. Но вот проблема в том, что, намекну, с торрентами это не очень удобно.

Нормально с торрентами на отдельных разделах и с симлинками, ты просто не пробовал.

ОС у меня даже не на отдельном разделе, а на отдельном диске.

Когда раздел с каталогом пользователя портится так, что консольная авточинилка при старте не может починить, то иксы не запускаются. Нужно лезть в fstab, отмонтировать раздел и перезагружаться. Или грузиться в другой линукс и гуёвыми лечилками, они умеют лучше консольки в терминале лечить твои терабайты хомяка. Хомяк должен быть в меру упитанный, иначе он застревает в узких местах.

Если бы ФС ломались с такой же частотой

Они часто ломаются, особенно если происходят повисания, внезапные перезагрузки и глюки сатовских и прочих контактов.

то давно бы уже... сделали безбажную ФС

Надёжная Фат неэкономно хранит россыпь мелких файлов, а объёмов постоянно не хватает.

Я вообще не понимаю, какой ФС вы пользуетесь, что такие ужасы рассказываете?

А куча их. Самой надёжной оказалась Фат 32. Несмотря на кучи мелких багов, крупные поломки у неё случаются реже. Можно придумать кучу заумных технологий, но не все они будут хорошо относиться к внезапным вырубонам и глюкам ОС при работе с нею.

Зачем?!

В линуксе при перетаскивании файла внутри раздела система спрашивает, желаешь ты его скопировать или переместить, это делает перетаскивание удобным. А если случится глюк перемещения курсора, то файлы автоматически не улетят в неизвестном направлении - появится окно, в котором можно отменить операцию. Не ту ОС окном назвали.

может быть документ OpenOffice где есть разделы: «Бухгалтерия Отдел_продаж Склад». Ты рассылаешь еги и даешь права на каждый раздел.

Для этого надо, как минимум:

• чтобы OpenOffice поддерживал содержимое с разными MAC label в рамках одного документа
• чтобы ОС поддерживала разные MAC labels в пределах одного файла (потому что ODT - один файл)
• или OpenOffice сохранял один документ в разных файлах
• при посылке и получении кто-то автоматически шифровал/дешифровал содержимое

Если тебе это всё ЛЕГКО, ты просто не понимаешь задачу.

МС не напрягалась с Exchange.

А что такое, MS Exchange уже умеет MAC?

Он в пределах организации ничего с обычным SMTP MTA вообще ничего общего. Эдакая СУБД (кривая).

Потому в пределах предприятия можно делать ВСЕ ЧТО хочешь.

Мля. Итак, твы предлагаешь перевести предприятие «МО РФ» на Exchange? Или написать свой аналог Exchange с MAC и перевести МО РФ на него?

у нас там электропочта была на CLipper. Тупо слались DBF с мемо полями упакованные в ZIP через обычный модем.

фейспалм

Ты предлагаешь слать совсекретные документы в ZIP по модему? Или что?

Астра не проявила никакой заинтересованности в переносе ядра на наши целевые платформы (хотя приведенные выше ссылки много объясняют). С ARM и PowerPC у вас вообще всё как-то странно.

Почему странно? Работы по arm и power pc активно идут, особенно по arm

Почему странно?

Почему - не знаю, а странность в том, что их нельзя скачать.

Это единственная претензия к Астре в данном вопросе? )))))))))