Difference between pages "UML-B release notes for 0.5.8" and "User:Mathieu/bot"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Colin
(New page: ==New Features== '''Statemachine Refinement''' '''Manual invocation of U2B translator''' '''Migration tool''' '''Improve Diagram management''' '''Improve Event-B file management''' '...)
 
imported>Mathieu
 
Line 1: Line 1:
−
==New Features==
+
A bot may be a useful tool to help a wiki maintenance.
  
−
'''Statemachine Refinement'''
+
I tried to use the python framework provided by http://pywikipediabot.sourceforge.net/. Hereafter are some guidelines to make it work on this wiki.
  
−
'''Manual invocation of U2B translator'''
+
== Requirements ==
 +
* Python >2.5
  
−
'''Migration tool'''
+
== Getting pywikipedia framewok ==
 +
Get the source code from subversion:
 +
<pre><nowiki>
 +
(prompt) svn co http://svn.wikimedia.org/svnroot/pywikipedia/trunk/pywikipedia pywikipedia
 +
</nowiki></pre>
 +
== Configuring the framework for this wiki ==
 +
Add the following <tt>families/eventb_family.py</tt> file (be careful with the indentation):
 +
<pre><nowiki>
 +
# -*- coding: utf-8  -*-
  
−
'''Improve Diagram management'''
+
import family
 +
# The event-b family
 +
# user-config.py: usernames['event-b']['event-b'] = 'User name'
 +
class Family(family.Family):
 +
    def __init__(self):
 +
        family.Family.__init__(self)
 +
        self.name = 'eventb'
 +
        self.langs = {
 +
            'eventb': 'wiki.event-b.org',
 +
        }
  
−
'''Improve Event-B file management'''
+
        self.namespaces[4] = {
 +
            '_default': [u'Event-B', self.namespaces[4]['_default']],
 +
        }
  
−
'''Improve properties view'''
+
        self.namespaces[5] = {
 +
          '_default': [u'Event-B talk', self.namespaces[5]['_default']],
 +
        }
  
−
==Bug Fixes==
+
    def version(self, code):
 +
        return '1.11'
  
−
Improvements to synchronise diagram editing so that unsaved changes are not lost.
+
    def path(self, code):
 +
        return '/index.php' #The path of index.php, look at your wiki address.  
  
−
Default names of new elements were not unique
+
    def scriptpath(self,code):
 +
        return ''
 +
   
 +
#    def shared_image_repository(self, code):
 +
#        return ('commons', 'commons')
 +
 
 +
</nowiki></pre>
 +
 
 +
Then add the following <tt>user-config.py</tt> file:
 +
<pre><nowiki>
 +
family='eventb'
 +
mylang='eventb'
 +
usernames['eventb']['eventb'] = 'your_bot_user_name'
 +
</nowiki></pre>
 +
 
 +
== Usage ==
 +
=== Login ===
 +
First you should log in:
 +
<pre><nowiki>
 +
(prompt) python login.py
 +
</nowiki></pre>
 +
=== Upload Images ===
 +
<pre><nowiki>
 +
(prompt) python upload.py -noverify -keep file.png "Image description"
 +
</nowiki></pre>
 +
 
 +
For uploading several images from a directory, I use the following ''sh'' command:
 +
<pre><nowiki>
 +
for i in /tmp/imagedir/* ; do (yes | python upload.py -v -noverify -keep $i "Import of image $i"); done
 +
</nowiki></pre>
 +
 
 +
 
 +
=== Add a category to the last uploaded images ===
 +
For the last 20 images, do :
 +
<pre><nowiki>
 +
python category.py -v add -newimages:20
 +
</nowiki></pre>

Revision as of 08:05, 22 July 2008

A bot may be a useful tool to help a wiki maintenance.

I tried to use the python framework provided by http://pywikipediabot.sourceforge.net/. Hereafter are some guidelines to make it work on this wiki.

Requirements

  • Python >2.5

Getting pywikipedia framewok

Get the source code from subversion: 

(prompt) svn co http://svn.wikimedia.org/svnroot/pywikipedia/trunk/pywikipedia pywikipedia

Configuring the framework for this wiki

Add the following families/eventb_family.py file (be careful with the indentation): 

# -*- coding: utf-8  -*-

import family
# The event-b family
# user-config.py: usernames['event-b']['event-b'] = 'User name'
class Family(family.Family):
    def __init__(self):
        family.Family.__init__(self)
        self.name = 'eventb'
        self.langs = {
            'eventb': 'wiki.event-b.org',
        }

        self.namespaces[4] = {
            '_default': [u'Event-B', self.namespaces[4]['_default']],
        }

        self.namespaces[5] = {
           '_default': [u'Event-B talk', self.namespaces[5]['_default']],
        }

    def version(self, code):
        return '1.11'

    def path(self, code):
         return '/index.php' #The path of index.php, look at your wiki address. 

    def scriptpath(self,code):
        return ''
    
#    def shared_image_repository(self, code):
#        return ('commons', 'commons')

Then add the following user-config.py file: 

family='eventb'
mylang='eventb'
usernames['eventb']['eventb'] = 'your_bot_user_name'

Usage

Login

First you should log in: 

(prompt) python login.py

Upload Images

(prompt) python upload.py -noverify -keep file.png "Image description"

For uploading several images from a directory, I use the following sh command: 

for i in /tmp/imagedir/* ; do (yes | python upload.py -v -noverify -keep $i "Import of image $i"); done


Add a category to the last uploaded images

For the last 20 images, do : 

python category.py -v add -newimages:20
Retrieved from ‘https://wiki.event-b.org/index.php?title=UML-B_release_notes_for_0.5.8&oldid=10807’