bismon

نظرة عامة وفلسفة

bismon (هذا اسم مؤقت ) هو شاشة ثابتة (في المستقبل) ستتفاعل مع مكونات برنامج التحويل البرمجي من خلال برنامج التحويل البرمجي من خلال. إنه (أو سيصبح) خليفة لمشروع ذوبان GCC القديم ؛ الهدف متوسط ​​الأجل هو أيضًا تحليل رمز مصدر البرنامج الثابت بمساعدة GCC. مستودع رمز المصدر (GPLV3+ المرخص) موجود على https://github.com/bstarynk/bismon .. My (Basile Starynkevitch ، الموظف في bismon ، قائمة في فرنسا) تم تمويله جزئيًا (من عام 2018 إلى نهاية عام 2020) من قبل الاتحاد الأوروبي ، Horizon H2020 ، تحت إرادة. عند تحليل نوع من برامج إنترنت الأشياء المشفرة في C أو C ++ و (المتقاطع) تم تجميعها بواسطة GCC على بعض سطح المكتب Linux. في 2019 - 2021 ، يتم تمويل تطوير bismon جزئيًا من خلال مشروع Decoder H2020 ، بموجب اتفاقية المنحة 824231 (تتعلق بمراقبة المعرفة المستمرة WP1).

حاليًا (بداية عام 2021) لا يزال bismon في مرحلة تجريبية ، وهو برنامج مجاني بموجب ترخيص GPLV3+. هذا مخصص لمحطة عمل Linux X86-64 لمطور سطح المكتب (لن يعمل على Windows أو MacOSX أو Android).

لا يزال بعض الوثائق غير المكتملة (بصفتك تقريرًا فنيًا doc/bismon-doc.pdf في PDF) يمكن إنشاء (مع make ثم make doc ؛ هذا الأمر يتطلب منك الحصول على $HOME/tmp/ Directory). قد تكون مسودة مبكرة (غير رسمية) لهذا التقرير متاحًا على http://starynkevitch.net/basile/bismon-doc.pdf

الاستخدامات المستقبلية المحتملة

بينما يتم تمويل Bismon حاليًا من خلال مشاريع H2020 ذات أهداف التحليل الثابت ، يرجى ملاحظة أن Bismon قد يكون لاحقًا -عندما يكون أكثر نضجًا ، بعد عام 2024 - من المحتمل أن يكون قابلاً للاستخدام كإطار عام إلى حد ما ، مع وجود الكثير من العمل الإضافي (ليس هناك بعض الشهور ) إدراكًا لآلة واعية ، ISBN: 978-1848211018) ، والبيئات الرسومية المتطورة التي تشبه سطح المكتب ، أو العديد من أدوات البرامج التعاونية التفاعلية المستندة إلى الويب المستخدمة بشكل متزامن من قبل بعض الفرق ، أو تطبيقات قواعد بيانات الكائنات أو المشكلات ذات الصلة. نظرًا لأن Bismon مرخص GPLV3+ ، يجب أن يكون أي برنامج مستقبلي يستخدمه ، IMHO ، عمليًا أيضًا gplv3+ (ولكن قد يكون من الممكن أن يكون مخططات الترخيص الأخرى ، اتصل بي على [email protected] لمزيد من المخططات ؛ ومع ذلك ، Ianal ...)

القراءات ذات الصلة

[معايير ترميز Air Strike Air Coint Strike C ++] (https://www.strostrup.com/jsf-av-rules.pdf)

[Zero-Overhead استثناءات حتمية: قيم رمي] (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0709r4.pdf)

[C ++ توحيد ، الأوراق 2021] (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/)

يقترب

قم بتطوير نوع من اللغة عالية المستوى (أكثر تعبيرية وأكثر تعبيرية) لتسهيل تحليل رمز مصدر البرنامج الثابت فوق GCC وإنشاء المكونات الإضافية لـ GCC لها ، وبالتالي فإن الدوافع نفسها التي يذوبها GCC (و ClaSp-exal-exal-in على نطاق واسع ...).

تشمل الميزات والأهداف المهمة لهذا اللغة الخاصة بالمجال وتنفيذها:

• الثبات المتعامد ؛ هذه ميزة رئيسية (مفيدة لتحليل رمز المصدر الثابت للبرنامج لبرنامج تم تحليله من عدة وحدات ترجمة ، تم تجميع كل منها بشكل مستقل) والتي لم تكن مضافة بشكل واقعي لذوبان GCC ، وبالتالي يتطلب إعادة تصميم كاملة. من المتوقع أن تكون عملية bismon طويلة الأجل نسبيًا-وتحتفظ بمعظم بياناتها من تشغيل إلى آخر (في store*.bmon . في المستقبل ، ستتواصل عملية bismon مع عمليات التجميع gcc أو g++ (المتقاطعة) (باستخدام بعض المكون الإضافي لـ GCC ، ليتم إنشاؤه بواسطة bismon نفسه)

• الكتابة الديناميكية كما في بيثون ، مخطط ، روبي ، جافا سكريبت ، ... (وذوبان بطريقة أو بأخرى).

• متعدد الخيوط ولكن دون أي جيل. مجموعة من خيوط الخيوط الصغيرة من خيوط العمال مرارا وتتابعا تجلب المهام من أجندة عالمية. يتم تشغيل كل مهتم بسرعة (مللي ثانية) في بعض خيوط العمال ويمكنه تحديث هذا جدول الأعمال (على سبيل المثال عن طريق إضافة نفسه ليتم استمراره).

• انعكاس

• المثليين

• تم جمع القمامة بدقة

• التصريح ، مع مطابقة نمط جيد والقواعد الشكلية

• bootstrapped ، وتجميعها إلى C ، ربما بعض الأجزاء باستخدام GCCJIT.

• حتى metaprogrammed

• توليد ملحقات إضافية لـ GCC (في C ++) والتي ستتفاعل مع bismon بواسطة بعض آلية RPC

لاحظ أن بناء الجملة والدلالات (التي لا تزال غير موثقة) من bismon هي العمل أثناء التقدم وتخضع للتغيير بشكل غير متوافق.

عندما يتم الانتهاء bismon إلى الإشارة إلى كونه قابلاً للاستخدام ، سيتم استخدامه عادةً من قبل فريق صغير من المطورين الذين يعملون معًا في بعض مشروع البرمجيات (المشترك) المشفر في الغالب في C أو C ++ (ويفضل أن يكون مشروع برنامج مجاني).

بناء التعليمات

معظم bismon موجود في C99 أو C11 (بما في ذلك كمية متزايدة من رمز C الذي تم إنشاؤه ضمن modules/ ) ، ولكن هناك بعض الكود المكتوم بخط اليد في C ++ 14 (لا سيما misc_BM.cc و BM_makeconst.cc metaprogram توليد الرؤوس).

على Linux/x86-64 (مثل Debian/غير مستقر أو buster أو Ubuntu 18 أو 19) فقط (بدون بقع إضافية أو عمل ، لن يعمل Bismon على 32 بتات!):

المتطلبات الأساسية

يجب أن تكون قادرًا على تجميع العديد من حزمة البرامج المفتوحة المصدر لرمز المصدر الخاص بهم. يجب أن يكون لديك نظام GNU/Linux حديثًا مع acesss الجذرية ، ويفضل أن يكون 32Gigabytes أو أكثر من ذاكرة الوصول العشوائي ، وبعض معالج x86-64 مع ما لا يقل عن 4 نوى ، وما لا يقل عن 250 جيجابت من مساحة القرص الحرة. من المتوقع أن تكون بطلاقة مع واجهة سطر أوامر Linux ، وقذائف UNIX مثل GNU Bash أو ZSH. يجب أن تكون قادرًا على تجميع GCC 10 أو يفضل حتى GCC 11 من رمز المصدر الخاص به ومعرفتها بمحرري كود المصدر مثل GNU EMACs و VIM و Geany وما إلى ذلك ... لقد استمتعت بقراءة SICP.

انظر أيضًا دليل التبعيات الفرعي واعتمادها على إعادة القراءة - ربما لم يتم تحديثها.

• GCC الأخير (So GCC 10 أو من الأفضل GCC 11 ...) ، مع دعم C و C ++ و JIT ومكون من الإضافات (تحقق مع gcc -v ؛ إذا كان نظام gcc و g++ الخاص بك يفتقرون إلى الدعم للمكونات الإضافية و LiBGCCJIT ، فيجب عليك بناء وتثبيت إصدار GCC حديثًا من رمز المصدر الخاص به ، وتكوينه.). لا يمكن استخدام دول مجلس التعاون الخليجي القديم (على سبيل المثال الإصدار 9 أو قبل).

  • إذا قمت بتجميع GCC من رمز المصدر الخاص به ، ففكر في استخدام أمر التكوين المستوحى من: '/usr/src/Lang/gcc-11.1.0/configure' '-v' '--prefix=/usr/local' '--with-gcc-major-version-only' '--program-suffix=-11' '--enable-shared' '--enable-linker-build-id' '--enable-nls' '--enable-bootstrap' '--enable-clocale=gnu' '--enable-libstdcxx-debug' '--enable-libstdcxx-time=yes' '--with-default-libstdcxx-abi=new' '--enable-gnu-unique-object' '--disable-vtable-verify' '--enable-plugin' '--enable-default-pie' '--with-system-zlib' '--enable-libphobos-checking=release' '--with-target-system-zlib=auto' '--enable-objc-gc=auto' '--enable-multiarch' '--disable-werror' '--with-arch-32=i686' '--with-abi=m64' '--with-multilib-list=m32,m64,mx32' '--enable-multilib' '--with-tune=native' 'CFLAGS=-O2 -g' 'CXXFLAGS=-O2 -g' '--enable-host-shared' '--enable-languages=c,c++,d,go,jit,lto' ....

• Python 3 حديث مع تثبيت PIP.

• تحتاج الوثائق إلى A /usr/bin/mipsel-linux-gnu-gcc-8 المتقاطع التي توفرها حزمة gcc-8-mipsel-linux-gnu Debian. حذار ، تتضارب هذه الحزمة مع حزم gcc-multilib* على Debian.

• هناك حاجة إلى Ninja Builder ، الإصدار 1.8 أو الأحدث (وبدأت بواسطة make ). لا تستخدم واحدة أقدم (تحقق مع ninja --version -إذا لم ينجح ذلك ، فإن ninja قديمة جدًا).

• مطلوب مترجم Guile الأخير ، الإصدار 2 أو أفضل (ويفضل أن يكون Guile 2.2). لا أعرف وأكره بشدة Python ومترجم Guile هو GNU ، LGPLV3+، وأكثر مألوفًا بالنسبة لي. أيضًا ، فإن مفاهيم لهجات LISP مثل المخطط (اللغة التي تنفذها Guile ) ذات صلة بقوة بفهم Bismon ، حيث يتم استخدام Guile لإنشاء برنامج build.ninja الذي يستخدمه منشئ النينجا.

• mailutils التي تعززها Guile مؤخرًا ، وهي Debian mailutils-guile التي توفر /usr/bin/guimb قابلة للتنفيذ.

• GLIB 2.58 أو أفضل (وهو مطلوب أيضًا لـ GTK أعلاه) ، لأن بعض الإجراءات الروتينية ذات المستوى المنخفض ، وخاصة UTF-8 ، مطلوبة.

• هناك حاجة إلى Jansson 2.12 أو أفضل لـ JSON (المستخدمة فيما يتعلق بـ WebSockets).

• كانت هناك حاجة إلى LiBonion لواجهة الويب ، ولكن تمت إزالتها في يونيو ، 27 ، 2022 ، GIT Complising a943cf687c748 أو علامة no-more-ibonion-tag (مع المطبع المطبعي: l ). قبل ذلك الالتزام ، ابحث عن علم المعالج المسبق BISMON_LIBONION .

• GNU تجعل 4 أو أفضل

• يستخدم CCACHE لتجنب إعادة التجميع عديمة الفائدة. إذا لم يكن لديك ذلك ، فستحتاج إلى تحرير Makefile لتجميع الوحدات النمطية التي تم إنشاؤها.

• libbacktrace - في بعض الأحيان يكون جزءًا من نظام GCC الخاص بك ، ولكن من الأفضل تثبيته بشكل منفصل (على سبيل المثال في /usr/local/ prefix)

• مطلوب التخفيض لبعض الوثائق ، مثل هذا README.md

• GNU المسافة البادئة (2.2.x في النهاية) و Astyle (3.1 على الأقل) مفيدة make indent . indent مطلوبة الآن للوحدات النمطية التي تم إنشاؤها.

• يستخدم tar (ملف Postprocessor) Tardy لإنشاء الوثائق.

• من المحتمل أن يكون هناك حاجة إلى الوثائق لتوثيق الوثائق - على الأرجح - على سبيل المثال ، كجناح Texlive أو المرافق ذات الصلة ( pdflatex و makeidx و bibtex ...) مع Inkscape و Hevea و Xindy.

حزم ديبان/Ubuntu ذات الصلة بالاعتماد

على Debian/غير مستقر أو حديث Ubuntu ، apt-get install build-essential make ninja-build gcc-8 g++-8 gcc-8-plugin-dev libgccjit-8-dev ccache gcc-8-mipsel-linux-gnu inkscape hevea texlive-full xindy fonts-inconsolata ttf-ubuntu-font-family fonts-ubuntu ttfautohint guile-2.2 mailutils-guile للبنية التحتية للبناء ؛ لاحظ أن gcc-8-mipsel-linux-gnu هو MIPSEL GCC Cross-compiler-وهو يتعارض مع حزم gcc-multilib* ؛ هناك حاجة إلى توليد الوثائق ، inkscape hevea ، texlive-full (حزمة ميتا ضخمة ) ، xindy ، fonts-inconsolata ، fonts-ubuntu ، ttfautohint .

ما زلنا بحاجة apt-get install libgtk-3-dev لـ GTK 3. قد يسحب هذا الكثير من التبعيات.

apt-get install libglib2.0-dev libjansson-dev من أجل GLIB و JANSSON التبعيات المطلوبة.

لم يتم تعبئة libbacktrace بشكل مستقل في Debian. أوصي ببناء وتثبيته من رمز المصدر الخاص به ، أو غير موصى به ، ولكن غير قابل للتنفيذ) قم بتحرير Makefile لاستخدام برنامج برنامج GCC الخاص بك.

لا يتم تعبئة libonion بشكل مستقل في Debian.

apt-get install markdown indent astyle tardy و apt-get install texlive texlive-full hevea

dependencies/ الدليل الفرعي مخصص لـ git submodule -S المتعلق بـ libbacktrace و libonion

قد تحتاج إلى إضافة .mjs كاحقة صالحة أو ملحق ملف application/javascript mime type في ملف نظام /etc/mime.types الخاص بك. اقرأ عن وحدات JavaScript على الويب وشاهد Debian Bug#927300.

التوطين

قم بتشغيل locale للتأكد من أن التوطين الخاص بك متوافق أو اللغة الإنجليزية (البريطانية أو الأمريكية) في UTF-8 (لا يمكن أن يكون الإيطالي أو اليوناني أو الفرنسي على سبيل المثال). لذلك يجب أن يكون POSIX أو C أو en_US.UTF-8 أو en_GB.UTF-8 . قد ترغب في تعيين متغيرات البيئة الخاصة بك بشكل مناسب (على الأقل LANG=en_US.UTF-8 LANGUAGE=en_US:en و LC_ALL=en_US.UTF-8 ، مع عدم وجود متغير بيئة LC_* آخر). انظر Locale (1) ، locale (7) ، UTF-8 (7) ، locale (5) ، setlocale (3). لكن لا تطلب مني أن أفهم المزيد من هذه التفاصيل الدقيقة وتفاصيل التوطين ، فإن هذا الموضوع معقد للغاية . إذا كنت لا تزال بحاجة إلى هذا العمل الذي يجب القيام به ، فأرسل لي بريدًا إلكترونيًا في العمل إلى [email protected] . لكن لا تتوقع أن يتم ذلك من قبل عام 2024.

تكوين إضافي

امتداد ملف .mjs هو لوحدات JavaScript. إذا لم يكن ملفك /etc/mime.types (الذي يستخدمه libonion ) يعرف ذلك ، فأنت بحاجة إلى إضافة الأسطر التالية (السطر الأول أدناه ، مع علامة التجزئة # ، هو تعليق ؛ المهم هو الخط الذي يذكر mjs ).

 # in your /etc/mime.types for JavaScript modules
application/javascript                                 mjs

يحتاج جيل الوثائق إلى $HOME/tmp/ دليل.

يجب إعطاء جهة اتصال مسؤولة عن الإنسان الرئيسية في ملف contact_BM (يتم قبول التعليقات التي تبدأ بـ # في الداخل ، ولكن يجب أن يكون لها سطر مستوحى من John Doe <[email protected]> ). يجب أن يكون هذا الملف في الدليل الحالي أو الدليل المنزلي الخاص بك أو تم تقديمه صراحة مع --contact-file=PATH . يمكن أن يكون ملف ~/contact_BM :

 # file $HOME/contact_BM
Bismon master (Basile Starynkevitch) <[email protected]>

تكوين git إضافي

قد ترغب في (تكييف هذا الاقتراح وتحديد رأسك المخصص) لتحسين الإخراج التفاعلي لـ git diff store*.bmon ملفات البيانات المستمرة. ربما يكون هناك شيء مستوحى من git config diff.bismon.xfuncname '"^«_[0-9A-Za-z_]*$"' قد يعمل ، ولكن ليس حقًا.

مبنى

استنساخ مستودع git هذا كالمعتاد ، وقم ببناءه ثم استخدم bismon داخل شجرة المصدر التي تم الحصول عليها.

انظر إلى Makefile ، وقم بتحريره إذا لزم الأمر ؛ ربما تحديث PREPROFLAGS= و LIBES= الخطوط ، على سبيل المثال لاستخدام GCC libbacktrace في نظامك ، عن طريق إضافة $(shell gcc-7 -print-file-name=include) في PREPROFLAGS= line ، و $(shell gcc-7 -print-file-name=libbacktrace.a) إلى LIBES= line. بالطبع استبدل 7 بحلول 8 إذا كان ذلك مناسبًا. ربما تحتاج إلى تعيين GCC= و GXX= لمرسلات GCC C و C ++ المحددة.

قم بتشغيل make أو make -j3

يتم اختبار آلية الثبات عن طريق make redump

برنامج ./bismon (مؤقتًا) لا يزال يستخدم GTK و Libonion. نريد التخلص من GTK. إنه متناظر باسم bismongtk و bismonion .

تأكد من تشغيل bismon أو bismongtk أو bismonion مع --help في البداية لفهم خيارات البرنامج المتوفرة.

إضافة نفسك كمساهم

يحتاج bismon (على الأقل إصدار الويب الخاص به) إلى معرفة عنك. لذلك يجب عليك تسجيل نفسك مرة واحدة (وهذا من شأنه أن ينمو حالته المستمرة). و bismon (أكثر bismonion ) لديه نموذج تسجيل دخول ، لذلك يجب أن يكون لديك كلمة مرور (خاصة بـ bismon ، لا علاقة لها بأي كلمة مرور أخرى لديك).

تحتاج أولاً إلى تهيئة ملف كلمة مرور فارغ (ملف كلمة المرور الافتراضي هو ~/passwords_BM ؛ يمكنك تحديد موقع آخر على سطر الأوامر). حتى قم بتشغيل الأمر touch ~/passwords_BM في محطة (shell) لإنشاء هذا الملف الفارغ. ثم تحتاج إلى تقييد إذنها (قابلة للقراءة وقابلة للكتابة من قبل مستخدم UNIX فقط) مع chmod u+rw,go-rwx ~/passwords_BM . أخيرًا ، تحقق مع ls -ls ~/passwords_BM أن هذا الملف فارغ وقابل للقراءة وقابل للكتابة فقط.

ثم سوف تسجل نفسك. إذا كان Alan Turing هو اسمك أو pseudo ، و [email protected] هو بريدك الإلكتروني الرئيسي ، مع أن --batch الإلكتروني الثانوي يجري turing@localhost ، يمكنك إضافة نفسك إلى bismon من خلال تشغيله بشيء مشابه لـ- --contributor='Alan Turing;[email protected];turing@localhost' --dump-after-load=. خيارات البرنامج. بالطبع يجب أن تحل محل Alan Turing ، [email protected] و turing@localhost بأي شيء مناسب لك. البريد الإلكتروني الثانوي (يسمى أيضًا الاسم المستعار) اختياري. إذا لم تستخدمه (لذلك إذا لم تقدم أي اسم مستعار ، وهو أمر محتمل - لذا ، استبدل turing@localhost بسلسلة فارغة) ، لا يعرف bismon عنك أكثر من git (انظر Git Config for user.email و user.name ). يمكنك حتى ترميز بعض البرنامج النصي Shell لاستخراج معلومات البيانات الشخصية من git ووضعها في bismon .

في النهاية ، تحتاج إلى تعيين كلمة مرورك (لا علاقة لها بكلمات مرور أخرى في جهاز الكمبيوتر الخاص بك أو على الويب ، ولكن يجب أن تحتوي على 10 أحرف أحادية الأرقام على الأقل ، والأرقام ، والرسائل ، والعلامات المتاحة) ، كما هو معروف لـ bismon ، باستخدام خيار --add-passwords (مع-مع --batch --dump-after-load=. ). لتعيين كلمة المرور الأولية الخاصة بك على mypass!123456 قم بإنشاء بعض الملفات النصية المؤقتة (يحتوي على أسماء bismonion --add-passwords=/tmp/addpassbismon --batch مرور محدثة في نص واضح ، لذلك يجب ألا تحتفظ بها) ، وربما /tmp/addpassbismon ، والتي تحتوي على alan turing Alan Turing:mypass!123456 /tmp/addpassbismon بالطبع ، من الأفضل أن تكتب بعضًا من ملفات SHELL TRESPHT ، وتأكد من أن لديك كلمة مرور قوية بما يكفي ليست في هذا README.md .

ربما يمكنك إضافة عدد قليل من المستخدمين الآخرين (ربما أقل من عشرة) التي تثق بها والتي يمكن أن تعمل معك. يمكن لكل مستخدم العبث أو إساءة استخدام نظام bismon بسهولة قدر الإمكان. تأكد بعد ذلك من أن تكون متوافقًا مع الناتج المحلي الإجمالي إذا كان أي من المستخدمين أوروبيين (وامتثال الناتج المحلي الإجمالي هو مسؤوليتك ). يتم احتساب نموذج تسجيل الدخول (مع رمز من web_ONIONBM.c ) من مصدر ملف login_ONIONBM.thtml (ويمكنك تحسين النص داخل هذا الملف إذا كنت تريد).

باستخدام bismon

لا يمكن استخدامه حقًا حتى الآن إلا من قِبل (باسيلي) في يوليو 2018 (لا يوجد تحليل رمز المصدر ثابت حتى الآن ، لا يوجد جيل من الإضافات في مجلس التعاون الخليجي حتى الآن). إذا كنت ترغب في رؤية شيء the_system باستخدام GTK ، قم بتشغيل ./bismongtk إذا كنت ترغب في رؤية شيء من --web-base واجهة الويب localhost:8086/ فقم بتشغيل ./bismonion

يوصى بتشغيل التشغيل make clean مرة واحدة كل فترة (على سبيل المثال يوميًا أو أسبوعيًا). عند إنشاء الملفات ، يقوم bismon بإعداد نسخة احتياطية من نسختهم السابقة.

اسألني (Basile Starynkevitch ، [email protected] أو [email protected] ...) للحصول على التفاصيل.

تنبيه قضائي

يحتوي مستودع git هذا أيضًا على إطار عمل JQueryui 1.12 (الذي يحتوي على ترخيص معهد ماساتشوستس للتكنولوجيا مختلفًا) ضمن webroot/jquery-ui

نص قذيفة لوقف Bismon

استخدمه (مثل stopbismon ) مخاطرك الخاصة ، إذا كان $HOME/bismon يحتوي على رمز مصدر Bismon وقابل للتنفيذ:

 #!/bin/bash -x
# script stopbismon
if [ -f $HOME/bismon/_bismon.pid ]; then
   kill -TERM $(/bin/head -1  $HOME/bismon/_bismon.pid)
else
   pkill bismon
fi	

ملحوظة

هذا برنامج مجاني لم يتم إصداره

من المحتمل ألا يتغير الترخيص (GPLV3+) (يتم تحديده تعاقديًا في منحة عربة). ربما يكون إشعار حقوق الطبع والنشر خاطئًا: في الملفات التي تم إنشاؤها ، لم يكن متطابقًا لتوقعات GPL بعد. هذه التفاصيل معلقة ، ولكن هناك الكثير من الأخطاء الأخرى أيضًا.

ملاحظة

إن المؤلف يدرك تمامًا - في منتصف عام 2019 - من العديد من الأخطاء في نظام bismon هذا - وهو مشروع بحثي - ، لكن تصحيحها ليس أولوية (لأن مواصلة التمهيد التدريجي لـ Bismon أكثر أهمية بكثير ، ولم يتحقق بعد). واجهة GTK هي عربات التي تجرها الدواب حسب التصميم وتحطمها في كثير من الأحيان (لن يتم تصحيحها) ، ويجب استبدالها في أسرع وقت ممكن بواجهة ويب أكثر قابلية للاستخدام - وهذا هو العمل في منتصف عام 2019. يرجى الاتصال بالبريد الإلكتروني للمؤلف للحصول على حلول ممكنة. لاحظ أن مثل هذه الأخطاء المؤقتة المعروفة للمؤلف ليست مسجلة كمسائل Bismon gitlab ، لأن هذا البرنامج لم يتم إصداره بعد.

علة في الوثائق

في الالتزام 24E400E4B25EA8FBD91 فشل الوثائق.

• الملاحظة 1

إزالة input{appendix-bm} من ملف bismon-doc.tex لا تحل هذا الخطأ.

الإبلاغ عن الأخطاء وطلبات الميزات والقضايا

الطريقة المفضلة للإبلاغ عنها هي إضافة مشكلة جديدة على https://github.com/bstarynk/bismon

بالطبع ، يجب أن تكون القضية قائمة بذاتها. يرجى إعطاء صراحة إخراج bismon --version على جهاز الكمبيوتر الخاص بك إذا كنت قادرا على بناء bismon .

إذا كانت المشكلة مرتبطة ببناء bismon قابلة للتنفيذ ، فمنح كل أوامر Linux صراحةً (بعد فحصها وتشغيلها بنجاح نص distclean-script.bash ، أو بعد بعض أوامر git clone الطازجة ). اذكر إخراج git log -3 .

بدلاً من ذلك (إذا كنت لا ترغب في إضافة مشكلة github ) ، أرسل بريدًا إلكترونيًا (UTF-8 مشفر ، HTML5 مفضل) باللغة الإنجليزية ، أو باللغة الفرنسية ، (أو ربما باللغة الروسية ، فقط إذا لم تتمكن من إرسال بريد إلكتروني باللغة الإنجليزية أو الفرنسية) إلى [email protected] or [email protected]. سأحاول الإجابة باللغة الإنجليزية أو باللغة الفرنسية (لأن روسي المكتوب سيئ للغاية).

إذا كنت بحاجة إلى إرسال لقطة شاشة ، قم بإرفاق بعض الصور المشفرة على أنها JPEG أو PNG إلى بريدك الإلكتروني.

إذا كنت تريد أو تحتاج إلى إرسال العديد من الملفات ، فإن أرشفة جميعها في دليل فريد (اسمه (1) يحتوي على الحروف والأرقام فقط وبعضها مؤكد _ ) وجعل بعض الأرشيف القطران (1). أعطني الأمر بشكل صريح أمر tar الذي أحتاجه إلى تشغيل (على Linux) لاستخراج أرشيفك. يمكنك أن تفترض أن لدي الإصدار 1.30 GNU TAR أو أفضل على جهاز كمبيوتر Linux الخاص بي.

إذا أرسلت لي بعض كود C أو C ++ تتم معالجتها بواسطة bismon ، اسمح لي بوضوح بتجميعها وإضافة تعليقات (UTF8 مشفرة) باللغة الإنجليزية أو الفرنسية أو الروسية.

إذا كان ذلك ممكنًا ، أضف بعض البرامج النصية Shell (لـ Gnu Bash أو لـ Zsh ....) والتي تمكنني من إعادة إنتاج هذا الخطأ ، وتسمية هذا البرنامج النصي في تقرير بريدك الإلكتروني أو تقرير الأخطاء.

يمكن أن يفضل صاحب العمل (إذا كنت خارج CEA ....) أيضًا بعض المعلومات المتعلقة بالتمويل والتعاون الرسمي وما إلى ذلك ... إذا أمكن ذكرها بشكل صريح باللغة الإنجليزية أو باللغة الفرنسية في بريدك الإلكتروني.