server/*.c: Don't try reading per-user configuration.

[disorder] / scripts / dist

diff --git a/scripts/dist b/scripts/dist
index 7616bb3246eb115b1c03318ed7495ed7854d11cb..430b75d00a374d3d45d973d6e3626219e5c11566 100755 (executable)
--- a/scripts/dist
+++ b/scripts/dist
@@ -47,7 +47,7 @@ remote() {
     ;;
   local:* )
     cd
     ;;
   local:* )
     cd

-    v "$cmd"
+    v bash -c "cd && $cmd"

     cd -
     ;;
   esac
     cd -
     ;;
   esac


@@ -67,7 +67,7 @@ put() {
     v cp $src ${chroots}/${target}/home/${LOGNAME}/$dst
     ;;
   local:* )
     v cp $src ${chroots}/${target}/home/${LOGNAME}/$dst
     ;;
   local:* )

-    v cp $src $dst
+    v cp $src $HOME/$dst

     ;;
   esac
 }
     ;;
   esac
 }


@@ -86,7 +86,7 @@ get() {
     v cp ${chroots}/${target}/home/${LOGNAME}/$src $dst
     ;;
   local:* )
     v cp ${chroots}/${target}/home/${LOGNAME}/$src $dst
     ;;
   local:* )

-    v cp $src $dst
+    v cp $HOME/$src $dst

     ;;
   esac
 }
     ;;
   esac
 }


@@ -112,13 +112,11 @@ build() {
 }
 
 # Build various debs
 }
 
 # Build various debs

-build chroot:lenny64 lenny lenny oldstable
-build ssh:leucomorph lenny lenny oldstable
-build ssh:araminta squeeze "" stable
-build ssh:sandestin squeeze "" stable
+build local:araminta wheezy "" sid
+build chroot:wheezy32 wheezy "" sid

 
 # Update the web
 
 # Update the web

-cp $src $web
+cp $src README README.developers CHANGES.html $web

 cd doc
 for f in *.[1-9].html; do
   echo $f
 cd doc
 for f in *.[1-9].html; do
   echo $f