[email protected] wrote (10 Aug 2013 06:52:12 GMT) : > I think there was no strong argument in play when we chose between `dd` > or `cat`. If `dd` is easier to prefix with `sudo`, then why not change > to `dd`, yes.
OK. Should I create a ticket about it? Should I assign it to you? Cheers, -- intrigeri | GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc | OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc _______________________________________________ tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev
