GNOME/Verificación/Verificación con Posieve en GNOME 3.0
A día de 22 de xaneiro comezou unha verificación e posterior corrección de erros en GNOME Core para a vindeira versión 3.0.
Ao comezo da verificación posieve tiña un conxunto de regras menos refinado e en menor cantidade por iso a necesidade de facer dúas pasadas nesta verificación.
Contents
Falsos positivos en regras do posieve
As estimacións son que un 40 % dos erros mostrados na primeira pasada son erros do parser ou das regras (regras que non están ben escritas por mor do contexto) e o 5% son regras que áinda que ben escritas non se aplican segundo o contexto. Os casos de fallo foron remitidos a Marce Villarino para mellorar as regras do posieve.
Metodoloxía
Descargamos os ficheiros da UI de GNOME 3.0 e creamos unha estructura de cartafoles de tal forma que teñamos os pofiles nun cartafol po e outro cartafol errors onde gardar a saída do posieve para cada un dos pofiles anteriores. Na seguinte imaxe pode ollar como é a disposición
Imaxe:Checking-gnome-posieve-folder-structure.png
Para obter os ficheiros de erros executamos o seguinte, tendo en conta que o cartafol de traballo é po/:
for i in `ls -1`; do ~/pology/bin/posieve -b --msgfmt-check --no-skip check-rules \ -slang:gl -saccel:_ -snorulerx:dual $i > ../errors/$i.errors; done
E para facer as estatísticas, tendo en conta que o cartafol de traballo é errors/, executamos:
grep "Rules detected" *| \ awk ' BEGIN {print "Errors for files in GNOME\n=====================================\n"} { split($1, file, ":"); print file[1]": " $4 " errors"; s+=$4} END {print "================================\nTotal errors: "s}'
Isto crea unha como saída co resumo de estatísticas de erros.
Primeira pasada
O conxunto de regras empregadas están no commit r1216145 do subversion de pology
Resumo dos erros atopados:
Errors for files in GNOME =====================================
anjuta.master.gl.po.errors: 102 errors atk.master.gl.po.errors: 0 errors at-spi2-core.master.gl.po.errors: 1 errors brasero.master.gl.po.errors: 47 errors devhelp.master.gl.po.errors: 14 errors ekiga.master.gl.po.errors: 37 errors empathy.master.gl.po.errors: 30 errors eog.master.gl.po.errors: 25 errors epiphany.master.gl.po.errors: 63 errors evince.master.gl.po.errors: 41 errors evolution-data-server.master.gl.po.errors: 72 errors evolution.master.gl.po.errors: 268 errors file-roller.master.gl.po.errors: 17 errors gcalctool.master.gl.po.errors: 3 errors gconf-editor.master.gl.po.errors: 12 errors gconf.master.gl.po.errors: 99 errors gdk-pixbuf.master.gl.po.errors: 28 errors gdl.master.gl.po.errors: 5 errors gdm.master.gl.po.errors: 14 errors gedit.master.gl.po.errors: 82 errors glade.master.gl.po.errors: 26 errors glib.master.gl.po.errors: 81 errors gnome-bluetooth.master.gl.po.errors: 18 errors gnome-control-center.master.gl.po.errors: 31 errors gnome-desktop.master.gl.po.errors: 1 errors gnome-disk-utility.master.gl.po.errors: 21 errors gnome-games.master.gl.po.errors: 77 errors gnome-icon-theme.master.gl.po.errors: 1 errors gnome-keyring.master.gl.po.errors: 4 errors gnome-menus.master.gl.po.errors: 2 errors gnome-nettool.master.gl.po.errors: 3 errors gnome-packagekit.master.gl.po.errors: 46 errors gnome-panel.master.gl.po.errors: 50 errors gnome-screensaver.master.gl.po.errors: 6 errors gnome-session.master.gl.po.errors: 2 errors gnome-settings-daemon.master.gl.po.errors: 14 errors gnome-shell.master.gl.po.errors: 13 errors gnome-system-monitor.master.gl.po.errors: 12 errors gnome-terminal.master.gl.po.errors: 224 errors gnome-user-share.master.gl.po.errors: 1 errors gnome-utils.master.gl.po.errors: 80 errors gnome-video-effects.master.gl.po.errors: 1 errors gtkhtml.master.gl.po.errors: 28 errors gtk+.master.gl.po.errors: 86 errors gtk+-properties.master.gl.po.errors: 131 errors gtksourceview.master.gl.po.errors: 17 errors gucharmap.master.gl.po.errors: 5 errors gvfs.master.gl.po.errors: 33 errors hamster-applet.master.gl.po.errors: 6 errors libgdata.master.gl.po.errors: 3 errors libgnomekbd.master.gl.po.errors: 2 errors libgnome-keyring.master.gl.po.errors: 1 errors libgweather.master.gl.po.errors: 5 errors libwnck.master.gl.po.errors: 6 errors metacity.master.gl.po.errors: 22 errors mutter.master.gl.po.errors: 26 errors nautilus.master.gl.po.errors: 111 errors nautilus-sendto.master.gl.po.errors: 5 errors network-manager-applet.master.gl.po.errors: 60 errors network-manager-openconnect.master.gl.po.errors: 3 errors network-manager-openvpn.master.gl.po.errors: 5 errors network-manager-pptp.master.gl.po.errors: 3 errors network-manager-vpnc.master.gl.po.errors: 1 errors notification-daemon.master.gl.po.errors: 3 errors orca.master.gl.po.errors: 36 errors rygel.master.gl.po.errors: 57 errors seahorse.master.gl.po.errors: 43 errors seahorse-plugins.master.gl.po.errors: 26 errors tomboy.master.gl.po.errors: 50 errors totem.master.gl.po.errors: 45 errors totem-pl-parser.master.gl.po.errors: 1 errors vinagre.master.gl.po.errors: 20 errors vino.master.gl.po.errors: 8 errors vte.master.gl.po.errors: 1 errors yelp.master.gl.po.errors: 13 errors zenity.master.gl.po.errors: 9 errors ================================ Total errors: 2545
Ficheiros modificados:
$git diff --stat alacarte.master.gl.po | 2 +- anjuta.master.gl.po | 145 +++++----- at-spi2-core.master.gl.po | 4 +- brasero.master.gl.po | 82 +++--- devhelp.master.gl.po | 32 +- ekiga.master.gl.po | 32 +- empathy.master.gl.po | 39 ++-- eog.master.gl.po | 41 ++-- epiphany.master.gl.po | 196 ++++++------ evince.master.gl.po | 46 ++-- evolution-data-server.master.gl.po | 90 +++--- evolution.master.gl.po | 482 +++++++++++++++--------------- file-roller.master.gl.po | 40 ++-- gcalctool.master.gl.po | 8 +- gconf-editor.master.gl.po | 26 +- gconf.master.gl.po | 333 +++++++++++---------- gdk-pixbuf.master.gl.po | 44 ++-- gdl.master.gl.po | 16 +- gdm.master.gl.po | 34 +- gedit.master.gl.po | 129 ++++---- glade.master.gl.po | 59 ++-- glib.master.gl.po | 178 ++++++------ gnome-bluetooth.master.gl.po | 39 ++-- gnome-control-center.master.gl.po | 50 ++-- gnome-desktop.master.gl.po | 15 +- gnome-disk-utility.master.gl.po | 60 ++-- gnome-games.master.gl.po | 382 ++++++++++++------------ gnome-icon-theme.master.gl.po | 6 +- gnome-keyring.master.gl.po | 13 +- gnome-menus.master.gl.po | 10 +- gnome-nettool.master.gl.po | 12 +- gnome-packagekit.master.gl.po | 50 ++-- gnome-panel.master.gl.po | 80 +++--- gnome-screensaver.master.gl.po | 12 +- gnome-session.master.gl.po | 6 +- gnome-settings-daemon.master.gl.po | 19 +- gnome-shell.master.gl.po | 46 ++-- gnome-system-monitor.master.gl.po | 20 +- gnome-terminal.master.gl.po | 231 +++++++------- gnome-utils.master.gl.po | 154 +++++----- gnome-video-effects.master.gl.po | 4 +- gtk+-properties.master.gl.po | 192 ++++++------- gtk+.master.gl.po | 81 +++--- gtkhtml.master.gl.po | 54 ++-- gtksourceview.master.gl.po | 12 +- gucharmap.master.gl.po | 12 +- gvfs.master.gl.po | 64 ++-- hamster-applet.master.gl.po | 30 +- libgdata.master.gl.po | 23 +- libgnome-keyring.master.gl.po | 6 +- libgnomekbd.master.gl.po | 6 +- libgweather.master.gl.po | 14 +- libwnck.master.gl.po | 34 +- metacity.master.gl.po | 45 ++-- mutter.master.gl.po | 93 +++--- nautilus.master.gl.po | 343 +++++++++++----------- network-manager-applet.master.gl.po | 128 ++++---- network-manager-openconnect.master.gl.po | 8 +- network-manager-openvpn.master.gl.po | 12 +- network-manager-pptp.master.gl.po | 14 +- network-manager-vpnc.master.gl.po | 4 +- notification-daemon.master.gl.po | 16 +- orca.master.gl.po | 50 ++-- rygel.master.gl.po | 32 +- seahorse-plugins.master.gl.po | 46 ++-- seahorse.master.gl.po | 67 ++-- tomboy.master.gl.po | 124 ++++---- totem.master.gl.po | 71 +++--- vinagre.master.gl.po | 31 +- vino.master.gl.po | 20 +- vte.master.gl.po | 8 +- yelp.master.gl.po | 26 +- zenity.master.gl.po | 12 +- 73 files changed, 2469 insertions(+), 2476 deletions(-)
Erros salientados
Logo da primeira revisión podemos salientar os seguintes erros e as substitucións pertinentes:
- ... a …
- find, found como encontrar a atopar
- fallo/erro ao a produciuse un fallo/erro
- tab como separador a lapela
- dende a desde
- terminacións en ble a bel
- locate como localizar a find
- ocorreu un a produciuse un
- non se puido a non foi posíbel
Estatísticas finais
Tenha en conta que esta execución xa ten as novas regras un pouco máis refinadas e máis cantidade das mesmas (commit r1216756 do subversion de pology) e desactivando as regras:
- noPT-2010-hide
- mine_about
- mine_about2
- mine_enabledisable
As estatísticas logo de esta primeira revisión quedan:
Errors for files in GNOME ===================================== anjuta.master.gl.po.errors: 48 errors atk.master.gl.po.errors: 6 errors at-spi2-core.master.gl.po.errors: 2 errors brasero.master.gl.po.errors: 6 errors cheese.master.gl.po.errors: 1 errors devhelp.master.gl.po.errors: 1 errors ekiga.master.gl.po.errors: 34 errors empathy.master.gl.po.errors: 12 errors eog.master.gl.po.errors: 4 errors epiphany.master.gl.po.errors: 12 errors evince.master.gl.po.errors: 12 errors evolution-data-server.master.gl.po.errors: 48 errors evolution.master.gl.po.errors: 139 errors file-roller.master.gl.po.errors: 3 errors gcalctool.master.gl.po.errors: 3 errors gconf.master.gl.po.errors: 12 errors gdk-pixbuf.master.gl.po.errors: 6 errors gdl.master.gl.po.errors: 2 errors gdm.master.gl.po.errors: 2 errors gedit.master.gl.po.errors: 30 errors glade.master.gl.po.errors: 18 errors glib.master.gl.po.errors: 25 errors glib-networking.master.gl.po.errors: 2 errors gnome-bluetooth.master.gl.po.errors: 7 errors gnome-control-center.master.gl.po.errors: 15 errors gnome-desktop.master.gl.po.errors: 1 errors gnome-doc-utils.master.gl.po.errors: 1 errors gnome-games.master.gl.po.errors: 36 errors gnome-keyring.master.gl.po.errors: 1 errors gnome-nettool.master.gl.po.errors: 5 errors gnome-packagekit.master.gl.po.errors: 20 errors gnome-panel.master.gl.po.errors: 13 errors gnome-power-manager.master.gl.po.errors: 11 errors gnome-screensaver.master.gl.po.errors: 2 errors gnome-session.master.gl.po.errors: 1 errors gnome-settings-daemon.master.gl.po.errors: 11 errors gnome-shell.master.gl.po.errors: 6 errors gnome-system-monitor.master.gl.po.errors: 1 errors gnome-terminal.master.gl.po.errors: 65 errors gnome-user-share.master.gl.po.errors: 4 errors gnome-utils.master.gl.po.errors: 40 errors gnome-video-effects.master.gl.po.errors: 1 errors gtkhtml.master.gl.po.errors: 1 errors gtk+.master.gl.po.errors: 27 errors gtk+-properties.master.gl.po.errors: 50 errors orca.master.gl.po.errors: 29 errors rygel.master.gl.po.errors: 8 errors seahorse.master.gl.po.errors: 34 errors seahorse-plugins.master.gl.po.errors: 4 errors tomboy.master.gl.po.errors: 33 errors totem.master.gl.po.errors: 16 errors vinagre.master.gl.po.errors: 9 errors vino.master.gl.po.errors: 6 errors yelp.master.gl.po.errors: 4 errors zenity.master.gl.po.errors: 3 errors ================================ Total errors: 893