| 
									
										
										
										
											2019-07-17 19:37:18 +02:00
										 |  |  | #!/usr/bin/env bash
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | if [ -e "build.data" ]; then | 
					
						
							| 
									
										
										
										
											2020-01-24 02:57:58 +01:00
										 |  |  |     echo "File exists" | 
					
						
							|  |  |  |     DATA=$(cat "build.data") | 
					
						
							| 
									
										
										
										
											2019-07-17 19:37:18 +02:00
										 |  |  | else | 
					
						
							| 
									
										
										
										
											2020-01-24 02:57:58 +01:00
										 |  |  |     echo "Create new file" | 
					
						
							|  |  |  |     echo "0" > "build.data" | 
					
						
							| 
									
										
										
										
											2019-07-17 19:37:18 +02:00
										 |  |  | fi | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | DATA=$(($DATA+1)) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | echo "Data: $DATA" |