Should any Italians stumble upon this thread, to set the date in Italian format all you need to do is:
- (just for safety) make a copy of the file dateMenu.js:
sudo cp /usr/share/gnome-shell/js/ui/dateMenu.js /usr/share/gnome-shell/js/ui/dateMenu.jsBAK
- then edit the file from terminal:
sudo gedit /usr/share/gnome-shell/js/ui/dateMenu.js
- and replace the following two lines:
clockFormat = showSeconds ? _("%a %b %e, %R:%S")
: _("%a %b %e, %R");
with the following:
clockFormat = showSeconds ? _("%A %e %B %Y, %R:%S")
: _("%A %e %B %Y, %R");
In order to see the results, you'll need to restart the shell: Alt+F2 'r'.
I hope it's useful!