blob: ccb9fd6c07ae59934aca120fd17eb78d8ad990ec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
#include "user.h"
int
puts(char *s)
{
return write(1, s, strlen(s));
}
char*
strcpy(char *s, char *t)
{
char *os;
os = s;
while((*s++ = *t++) != 0)
;
return os;
}
unsigned int
strlen(char *s)
{
int n = 0;
for(n = 0; s[n]; n++)
;
return n;
}
char *
gets(char *buf, int max)
{
int i = 0, cc;
char c;
while(i+1 < max){
cc = read(0, &c, 1);
if(cc < 1)
break;
if(c == '\n' || c == '\r')
break;
buf[i++] = c;
}
buf[i] = '\0';
return buf;
}
|