dune-config(5) Dune manual dune-config(5)

dune-config - پیکربندی سیستم ساخت dune

~/.config/dune/config

مگر اینکه --no-config یا -p داده شود، Dune یک فایل پیکربندی را از دایرکتوری خانگی کاربر خواهد خواند. این فایل برای کنترل جنبه‌های گوناگون رفتار Dune به کار می‌رود.

فایل پیکربندی در سیستم‌های یونیکس معمولاً در مسیر ~/.config/dune/config و در دایرکتوری خانگی کاربر در ویندوز در مسیر Local Settings/dune/config قرار دارد. با این حال، می‌توان یک فایل پیکربندی جایگزین را با گزینهٔ --config-file مشخص کرد.

خط نخست فایل باید به شکل (lang dune X.Y) باشد که در آن X.Y نسخهٔ زبان dune مورد استفاده در فایل است.

بقیهٔ فایل باید با نحو عبارت‌های اس (S-expression) نوشته شود و شامل فهرستی از بندها (stanzas) باشد. بخش‌های زیر بندهای در دسترس را شرح می‌دهند.

نحو: (cache ENABLED)

این بند مشخص می‌کند که آیا حافظهٔ موقت ساخت (caching) در dune فعال است یا خیر. برای جزئیات به https://dune.readthedocs.io/en/stable/caching.html مراجعه کنید. مقادیر معتبر برای ENABLED عبارتند از enabled یا disabled.

نحو: (display MODE)

این بند شیوهٔ گزارش عملکرد Dune به کاربر را کنترل می‌کند. این پارامتر را می‌توان از طریق خط فرمان با --display MODE نیز تنظیم کرد. حالت‌های نمایش زیر در دسترس هستند:

این حالت پیش‌فرض است؛ Dune با تکمیل اهداف ساخت، یک خط وضعیت را نمایش داده و به‌روزرسانی می‌کند.
تنها خطاها را نمایش می‌دهد.
به ازای هر دستور در حال اجرا یک خط چاپ می‌کند؛ به گونه‌ای که نام باینری در سمت چپ و علت اجرای آن در سمت راست قرار می‌گیرد.
خط فرمان کامل برنامه‌های در حال اجرا توسط Dune را همراه با رنگ‌بندی جهت تفکیک برنامه‌ها چاپ می‌کند.

توجه داشته باشید هنگامی که حالت نمایش انتخابی progress بوده و خروجی یک ترمینال نباشد، حالت quiet به جای آن انتخاب می‌شود. این قاعده هنگام اجرای Dune در داخل Emacs اعمال نمی‌شود. Dune اجرا شدن در داخل Emacs را با بررسی متغیر محیطی INSIDE_EMACS که توسط Emacs مقداردهی می‌شود تشخیص می‌دهد. اگر می‌خواهید همین رفتار را با ویرایشگر دیگری داشته باشید، می‌توانید این متغیر را مقداردهی کنید. چنانچه ویرایشگر شما از پیش متغیر دیگری را تنظیم می‌کند، لطفاً یک تیکت در پروژهٔ گیت‌هاب ocaml/dune باز کنید تا پشتیبانی از آن اضافه شود.

نحو: (jobs NUMBER)

حداکثر تعداد کارهایی را که Dune می‌تواند به صورت موازی اجرا کند تنظیم می‌کند. این مقدار را می‌توان از طریق خط فرمان با گزینهٔ -j NUMBER نیز تعیین کرد.

مقدار پیش‌فرض این پارامتر برابر با تعداد پردازنده‌ها است.

نحو: (sandboxing_preference MODE ...)

ترتیب اولویت حالت‌های ایزوله‌سازی (سندباکس) مورد استفاده توسط dune را کنترل می‌کند. Dune نخستین مورد از این فهرست را که بر اساس مشخصات وابستگی اقدام مجاز باشد استفاده می‌کند، یا به مقدار پیش‌فرض داخلی بازمی‌گردد. برای شرح حالت‌های مجزا به man dune-build مراجعه کنید.

گزارش‌های اشکال را در https://github.com/ocaml/dune/issues بررسی کنید.

dune(1), dune-build(1)

Dune