FAQ | This is a LIVE service | Changelog

Skip to content
Snippets Groups Projects
  1. Dec 11, 2020
  2. Nov 16, 2020
  3. Nov 09, 2020
  4. Nov 06, 2020
  5. Oct 07, 2020
  6. Oct 06, 2020
  7. Apr 07, 2020
  8. Dec 18, 2019
  9. Jul 30, 2019
  10. Jul 23, 2019
  11. Jul 15, 2019
    • Dr Adam Thorn's avatar
      set perms on logrotate file in postinst · 4cdae9df
      Dr Adam Thorn authored
      NB arguably we "should" be doing this via debian/rules and
      calling dh_fixperms. Doing that is left as an exercise for
      whoever volunteers to refactor the way we build all of our
      local debs!
      4cdae9df
  12. Apr 23, 2019
  13. Jan 16, 2019
  14. Dec 06, 2018
  15. Nov 07, 2018
    • Dr Adam Thorn's avatar
      Escape $ in ssh commands used in prepare scripts · 71da2ff1
      Dr Adam Thorn authored
      Our backup logs are generally full of
      
      + ssh -p 22 -o ConnectTimeout=10 root@openvpn2020.ch.cam.ac.uk '
        umask 077
        FILELIST=`tempfile`
        CONFLIST=`tempfile`
        mkdir -p /var/adm/backup
        # Make logrotate use datestamps
        if ! grep -q dateext /etc/logrotate.conf ; then sed  -i '\''s/^include/dateext\ninclude/'\'' /etc/logrotate.conf ; fi
        # Which packages are installed?
        dpkg --get-selections | awk '\'' { print $1 ; } '\'' >/var/adm/backup/packages
        cat /var/lib/dpkg/info/*.list | while read F ; do [ -f "$F" ] && echo "$F" ; done | sort > $FILELIST
        awk '\''/Description:/ { flag = 0 } ; flag == 1 { print $1 ; }  ; /Conffiles:/ { flag = 1  } ; '\'' </var/lib/dpkg/status |  sort >$CONFLIST
        diff -u $FILELIST $CONFLIST | grep ^-/ | sed s/^-// >/var/adm/backup/package-files
        rm
       '
      rm: missing operand
      
      because we're not escaping the args to that final rm command! This means we gradually fill
      up /tmp, especially on machines that are infrequently rebooted (e.g. calculon)
  16. Nov 06, 2018
  17. Oct 22, 2018
  18. Oct 18, 2018
  19. Jun 19, 2018
  20. Jan 11, 2018
  21. Nov 30, 2017
  22. Oct 10, 2017
  23. Aug 11, 2017
  24. Jun 01, 2017
  25. May 22, 2017
  26. Mar 29, 2017
  27. Mar 28, 2017
  28. Feb 14, 2017
  29. Jan 12, 2017
  30. Dec 08, 2016
  31. Dec 02, 2016
  32. Nov 08, 2016
  33. Sep 07, 2016
  34. Sep 06, 2016
Loading