Les programmes nécessaires

La fonctionnalité recherchée est fournie par le programme rsvg-convert, fourni sous Ubuntu par le paquetage librsvg2-bin. Ill s'installe avec un simple :

sudo apt-get install librsvg2-bin

Pour s'en servir : il suffit alors d'entrer la commande avec les paramètres suivants :

rsvg-convert -f pdf -o destination.pdf source.svg

Créer un script svg2pdf

Pour automatiser ça, on peut créer un simple script bash qui contient :

#!/bin/bash

INPUT=$1
OUTPUT=${2-${INPUT/%svg/pdf}}
rsvg-convert -f pdf -o $OUTPUT $INPUT

Le script prend en premier paramètre le nom du fichier source (au format svg). Le second argument est optionnel. S'il est présent, c'est le nom du fichier cible (au format pdf). S'il est absent, le script prend le nom du fichier source et remplace l'extension .svg par .pdf.

On enregistre ce script dans un dossier qui est dans le PATH et on le rend exécutable :

chmod +x chemin/vers/svg2pdf

Et c'est terminé.