Martine Lenders
29842bb5e4
netdev2: rename to netdev and remove gnrc_netdev
With some minor hand-edits I used the following chain of commands:
```sh
git rm sys/include/net/gnrc/netdev.h
git grep --name-only -i netdev2 | \
xargs sed -i -e 's/^\(NETDEV\)2\(.*\)\( [("]\)/\1\2 \3/g' \
-e 's/\(netdev\)2\(.*\)\( \/\*\*<\)/\1\2 \3/I' \
-e 's/\(netdev\)2/\1/gI'
git add -p
git commit --amend
git ls-tree --full-tree -r HEAD --name-only | \
grep "netdev2" | xargs -I'{}' dirname '{}' | uniq | \
grep "netdev2" | while read dir; do
new_dir="$(echo "$dir" | sed "s/netdev2/netdev/g")"
git mv -f "$dir" "$new_dir"
done
git commit --amend
git ls-tree --full-tree -r HEAD --name-only | \
grep "netdev2" | while read file; do
new_file="$(echo "$file" | sed "s/netdev2/netdev/g")"
git mv -f "$file" "$new_file"
done
git commit --amend
git grep --name-only "\<drivers_netdev_netdev\>" | \
xargs sed -i "s/\<drivers_netdev_netdev\>/drivers_netdev_api/g"
git add -p
git commit --amend
```
2017-03-15 09:31:20 +01:00
..
2016-03-14 20:39:31 +01:00
2017-02-17 08:02:36 +01:00
2017-03-15 09:31:20 +01:00
2017-01-10 18:30:38 +01:00
2016-03-20 16:47:34 +01:00
2015-10-05 11:41:53 +02:00
2017-01-18 20:40:30 +01:00
2016-12-27 00:58:11 +01:00
2016-03-16 11:43:26 +01:00
2017-03-10 14:56:48 +01:00
2017-01-15 14:53:43 +01:00
2016-11-28 11:00:42 +01:00
2016-09-05 02:22:37 +02:00
2017-01-19 18:30:53 +01:00
2017-02-09 12:25:52 +00:00
2017-03-07 17:59:59 +01:00
2017-03-01 17:14:11 +01:00
2017-03-15 09:31:20 +01:00
2016-12-16 09:48:08 +01:00
2015-08-12 18:25:24 +02:00
2016-10-26 21:53:58 +02:00
2017-02-27 11:01:20 +01:00
2016-11-09 11:59:45 +01:00
2017-03-15 09:31:20 +01:00
2017-03-07 17:59:57 +01:00
2017-02-09 12:26:50 +00:00
2016-10-26 21:53:58 +02:00
2016-06-06 11:04:11 +02:00
2016-09-21 21:12:58 +02:00
2017-01-19 11:07:59 +01:00
2017-03-11 19:22:35 +01:00
2016-07-12 10:17:49 +02:00
2016-05-31 20:12:24 +02:00
2016-11-29 20:44:31 +01:00
2016-04-15 15:06:25 +02:00
2017-01-19 08:59:17 +01:00
2016-04-08 23:53:46 +02:00
2017-03-07 17:59:57 +01:00
2017-01-19 13:18:08 +01:00
2017-01-19 13:18:08 +01:00
2015-09-25 09:08:34 +02:00
2017-03-07 17:59:58 +01:00
2015-10-01 18:10:08 +02:00
2016-03-30 10:29:00 +02:00
2017-03-07 17:59:57 +01:00
2017-01-20 16:43:38 +01:00
2017-03-15 09:31:20 +01:00
2017-03-07 17:59:57 +01:00