chiark / gitweb /
hole-repair-20191117: abandon roundedness
[reprap-play.git] / hole-repair-20191117.scad
1 // -*- C -*-
2
3 post_dia = 23.0;
4
5 th = 4;
6
7 nom_hole = 22;
8 min_r = 15 + nom_hole/2;
9 maj_r = 30 + nom_hole/2;
10
11 //$fa=1;
12 //$fs=1;
13
14 module Profile(r) {
15   polygon([ [0,        0],
16             [maj_r,    0],
17             [maj_r-th, th],
18             [0,        th] ]);
19 }
20
21 module Body(){
22   hull(){
23     for (x= [-1,+1] * (maj_r-min_r))
24       translate([x,0,0])
25         rotate_extrude()
26         Profile(min_r);
27   }
28 }
29
30 Body();