Не съм сигурен дали искате да архивирате съхранените процедури, както и всичко останало, или само съхранените процедури сами...
Съхранява се процедура в дъмп с всичко останало:
mysqldump -R <dbname> #or
mysqldump --routines <dbname>
Само съхранените процедури:
mysqldump -n -t -d -R <dbname> #or
mysqldump --no-create-db --no-create-info --no-data --routines <dbname>
Това помага ли?
