Adding upstream version 13.upstream/13

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

8 files changed, 121 insertions, 0 deletions

diff --git a/share/dot.bashrc b/share/dot.bashrc
new file mode 100644
index 0000000..df9ee74
--- /dev/null
+++ b/share/dot.bashrc
@@ -0,0 +1,18 @@
+# ~/.bashrc: executed by bash(1) for non-login shells.
+
+# Note: PS1 and umask are already set in /etc/profile. You should not
+# need this unless you want different defaults for root.
+# PS1='${debian_chroot:+($debian_chroot)}\h:\w\$ '
+# umask 022
+
+# You may uncomment the following lines if you want `ls' to be colorized:
+# export LS_OPTIONS='--color=auto'
+# eval "$(dircolors)"
+# alias ls='ls $LS_OPTIONS'
+# alias ll='ls $LS_OPTIONS -l'
+# alias l='ls $LS_OPTIONS -lA'
+#
+# Some more alias to avoid making mistakes:
+# alias rm='rm -i'
+# alias cp='cp -i'
+# alias mv='mv -i'
diff --git a/share/dot.profile b/share/dot.profile
new file mode 100644
index 0000000..c4c7402
--- /dev/null
+++ b/share/dot.profile
@@ -0,0 +1,9 @@
+# ~/.profile: executed by Bourne-compatible login shells.
+
+if [ "$BASH" ]; then
+  if [ -f ~/.bashrc ]; then
+    . ~/.bashrc
+  fi
+fi
+
+mesg n 2> /dev/null || true
diff --git a/share/dot.profile.md5sums b/share/dot.profile.md5sums
new file mode 100644
index 0000000..4a8e261
--- /dev/null
+++ b/share/dot.profile.md5sums
@@ -0,0 +1,2 @@
+54328f6b27a45c51986ed436f3f609bf 8
+46438b614dcb2175148fa7e0bdc604a4 9.3
diff --git a/share/info.dir b/share/info.dir
new file mode 100644
index 0000000..550533d
--- /dev/null
+++ b/share/info.dir
@@ -0,0 +1,20 @@
+-*- Text -*-
+This is the file .../info/dir, which contains the topmost node of
+the Info hierarchy.  The first time you invoke Info you start off
+looking at that node, which is (dir)Top.
+
+File: dir	Node: Top	This is the top of the INFO tree
+  This (the Directory node) gives a menu of major topics.
+  Typing "q" exits, "?" lists all Info commands, "d" returns here,
+  "mCoreutils<Return>" visits Coreutils topic, etc.
+  Or click mouse button 2 on a menu item or cross reference to select
+  it.
+  --- PLEASE ADD DOCUMENTATION TO THIS TREE. (See INFO topic first.) ---
+
+In Debian #OSNAME#, Info `dir' entries are added with the command
+`install-info'.  Please refer to install-info(8) for usage details.
+
+* Menu: The list of major topics begins on the next line.
+
+General Commands
+
diff --git a/share/motd b/share/motd
new file mode 100644
index 0000000..0120913
--- /dev/null
+++ b/share/motd
@@ -0,0 +1,7 @@
+
+The programs included with the Debian #OSNAME# system are free software;
+the exact distribution terms for each program are described in the
+individual files in /usr/share/doc/*/copyright.
+
+Debian #OSNAME# comes with ABSOLUTELY NO WARRANTY, to the extent
+permitted by applicable law.
diff --git a/share/profile b/share/profile
new file mode 100644
index 0000000..de64c87
--- /dev/null
+++ b/share/profile
@@ -0,0 +1,34 @@
+# /etc/profile: system-wide .profile file for the Bourne shell (sh(1))
+# and Bourne compatible shells (bash(1), ksh(1), ash(1), ...).
+
+if [ "$(id -u)" -eq 0 ]; then
+  PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"
+else
+  PATH="/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games"
+fi
+export PATH
+
+if [ "${PS1-}" ]; then
+  if [ "${BASH-}" ] && [ "$BASH" != "/bin/sh" ]; then
+    # The file bash.bashrc already sets the default PS1.
+    # PS1='\h:\w\$ '
+    if [ -f /etc/bash.bashrc ]; then
+      . /etc/bash.bashrc
+    fi
+  else
+    if [ "$(id -u)" -eq 0 ]; then
+      PS1='# '
+    else
+      PS1='$ '
+    fi
+  fi
+fi
+
+if [ -d /etc/profile.d ]; then
+  for i in /etc/profile.d/*.sh; do
+    if [ -r $i ]; then
+      . $i
+    fi
+  done
+  unset i
+fi
diff --git a/share/profile.md5sums b/share/profile.md5sums
new file mode 100644
index 0000000..5d338c7
--- /dev/null
+++ b/share/profile.md5sums
@@ -0,0 +1,15 @@
+356d504b5bf759b7bfef6cdc9e3c66e1 3.1.1 to 3.1.16
+f8b8e27b1a1b30a721a032baa254c973 4 to 5.0.0
+bfabfb83a6d9a773eb5e4fc81af9030e 5.1 and 5.2
+138403cbdd92a069480fefbf99ccbac8 5.3
+ab8413a709112f5ce298462fa445b190 5.4
+caefbdc2b725c2acb43d205f61779f9c 5.5
+bd615094228169d947e3af41c140ac57 5.6
+3bde72168bca3746e9281e863d43d6dc 5.7 and 5.8
+b94c2e3df2a779ac12080942df4d86ea 5.9 to 6.4
+89126d8bba3325594e1539bcc97847f3 buggy version by sendfile
+91901ce5707909cfec8b3a1a6efbfa61 6.5 to 7.6
+6c56009f8aabda9400878ce3c7fd91af 7.7
+ff2bae0480885c074afadec201f5c668 7.8 to 9.5
+2255054e61cee1a99dbe893377820dde 9.6 to 11
+48a30a427d1794feb49f102b87ddce2b 11.1 to current
diff --git a/share/staff-group-for-usr-local b/share/staff-group-for-usr-local
new file mode 100644
index 0000000..0b5d526
--- /dev/null
+++ b/share/staff-group-for-usr-local
@@ -0,0 +1,16 @@
+Current policy mandates that directories in /usr/local should be owned
+by group staff and mode 2775.
+
+The purpose of this file is to tell the system, when it's removed, that we
+want directories in /usr/local to be 755 and owned by group root.
+
+At this moment, this does not work at all, but the plan is to modify
+packages during the development stage of wheezy+1, so that whenever we
+release wheezy+1 as stable, all packages that need it check that this
+file exists before using those special permissions for /usr/local.
+
+This file is created by base-files on the initial install, and it's
+also created on upgrades from any base-files release before 6.10, which
+means it will be created on upgrades from squeeze to wheezy.
+
+See https://bugs.debian.org/299007 for details.