Questions marquées «source»

5
Pourquoi ~ / .bash_profile n'est pas recherché lors de l'ouverture d'un terminal?
Problème J'ai une machine virtuelle Ubuntu 11.04 et je voulais configurer mon environnement de développement Java. J'ai fait comme suit sudo apt-get install openjdk-6-jdk Ajout des entrées suivantes dans ~ / .bash_profile export JAVA_HOME=/usr/lib/jvm/java-6-openjdk export PATH=$PATH:$JAVA_HOME/bin Enregistrez les modifications et quittez Ouvrez à nouveau un terminal et tapez ce qui …






1
source du script bash: aucun fichier ou répertoire de ce type
J'ai un script qui commence comme ça #!/bin/bash VALKYRIE=~/myProjects/valkyrie source $VALKYRIE/cluster.conf mais quand je l'exécute, il revient line 2: ~/myProjects/valkyrie/cluster.conf: No such file or directory mais le fichier existe et lorsque je l'exécute, source ~/myProjects/valkyrie/cluster.confil fonctionne très bien. Une idée? J'ai défini une VALKYRIEvariable ailleurs, donc le code en dur …
9 bash  scripts  source 

1
Existe-t-il un moyen simple de corriger automatiquement les sources Ubuntu lorsqu'elles deviennent disponibles et téléchargées sur un PPA?
Je cherche un outil pour faire ce qui suit: Détecter automatiquement les mises à jour d'un ensemble de packages source (spécifiquement gtk + 2 et gtk + 3) télécharger le package source appliquer mes propres correctifs personnalisés à la source valider correctement le patch ( dpkg-source --commit [something-or-other]?) en cas …
9 ppa  launchpad  source 
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.