নির্দেশিকা:Edit.php
মিডিয়াউইকি ফাইল: edit.php | |
---|---|
অবস্থান: | maintenance/ |
উৎস কোড: | master • 1.42.3 • 1.41.4 • 1.39.10 |
শ্রেণী: | EditCLI |
বিস্তারিত
edit.php ফাইল হল কমান্ড লাইন থেকে নিবন্ধ সম্পাদনা করার একটি রক্ষণাবেক্ষণ স্ক্রিপ্ট।
ব্যবহার
php edit.php [options...] <title>
বিকল্প
বিকল্প/প্যারামিটার | বিবরণ |
---|---|
-u <user> |
ব্যবহারকারী নাম |
-s <summary> |
সম্পাদনা সারাংশ |
-m | অনুল্লেখ্য সম্পাদনা |
-b | বট (লুকানো) সম্পাদনা |
-a | স্বতঃ সারাংশ সক্ষম করে |
--no-rc | সাম্প্রতিক পরিবর্তনে পরিবর্তনটি দেখাবে না |
যদি নির্দিষ্ট ব্যবহারকারীর অস্তিত্ব না থাকে তবে তা তৈরি করা হবে। যদি কোনও ব্যবহারকারীর নাম প্রদান করা না হয়, তবে সম্পাদনাটি "Maintenance script" নামক স্বয়ংক্রিয় অ্যাকাউন্ট থেকে করা হবে, ও যদি প্রয়োজন হয় তবে অ্যাকাউন্টটি তৈরি করা হবে। সম্পাদনার জন্য পাঠ্যটি stdin থেকে পড়া হবে।
উদাহরণ
php edit.php -s "Quick edit" -m Page_I_want_to_edit < file_containing_wikitext
উপরের কোডটি Page_I_want_to_edit
পাতাটি সম্পাদনা করবে (সম্পাদনাটি অনুল্লেখ্য চিহ্নিত করবে), তাহলে সম্পাদনার পর পাতাটিতে file_containing_wikitext ফাইলে থাকা বিষয়বস্তু যোগ হবে ও একই সাথে সম্পাদনার সারাংশ হিসেবে Quick edit দেওয়া হবে।
php getText.php "page_title" | sed -e 's/\bfoo\b/bar/g' | php edit.php "page_title"
The above will take the text of the page page_title
from your wiki, replace every occurrence of the word foo with the word bar, and save the result back to the page page_title
.
You can do many complex text transformations of page text this way; see your unix manual's entry for sed.