diff --git a/tutorial/create_tutorial_from_source.sh b/tutorial/create_tutorial_from_source.sh index fa4cdcdfa..3b255410b 100755 --- a/tutorial/create_tutorial_from_source.sh +++ b/tutorial/create_tutorial_from_source.sh @@ -56,72 +56,72 @@ sed -i 's/@fig:inbound_rules/36/g' Tutorial.md sed -i 's/@fig:entities_hierarchy/37/g' Tutorial.md # These get automatically recomputed with the update script: do not edit! -sed -i 's/@hotmoka_version/1.4.3/g' Tutorial.md -sed -i 's/@takamakaCode/ced33b3dde5c99993528f4fe83e015ae0847c1fa2afaae47a6932fcd01fca4b1/g' Tutorial.md -sed -i 's/@manifest/b773fe0550b89f288414a16a3cb0841f2067533eaba09de6c74a82a2dbfdd2a8#0/g' Tutorial.md -sed -i 's/@gamete/c4277cbda401f8b491930a6c97e9df051a3f0c6ace14c6f21d528fec7b9f2751#0/g' Tutorial.md -sed -i 's/@gasStation/b773fe0550b89f288414a16a3cb0841f2067533eaba09de6c74a82a2dbfdd2a8#14/g' Tutorial.md -sed -i 's/@validators/b773fe0550b89f288414a16a3cb0841f2067533eaba09de6c74a82a2dbfdd2a8#1/g' Tutorial.md +sed -i 's/@hotmoka_version/1.5.0/g' Tutorial.md +sed -i 's/@takamakaCode/539c58b64358bcd2aaca8752ae2442aa119b0cadffc233ac7cfc07dd6d69e96f/g' Tutorial.md +sed -i 's/@manifest/9632a28d2690bff35fb0ecf7cdf13e130e496c0a3ae689b4b41251e8afd0396a#0/g' Tutorial.md +sed -i 's/@gamete/f7dc662c145ac39c36fb91d69379680fdee842a2bce66112156cff7c70a327a6#0/g' Tutorial.md +sed -i 's/@gasStation/9632a28d2690bff35fb0ecf7cdf13e130e496c0a3ae689b4b41251e8afd0396a#14/g' Tutorial.md +sed -i 's/@validators/9632a28d2690bff35fb0ecf7cdf13e130e496c0a3ae689b4b41251e8afd0396a#1/g' Tutorial.md sed -i 's/@maxFaucet/10000000000000/g' Tutorial.md sed -i 's/@chainid/marabunta/g' Tutorial.md sed -i 's/@chainid/marabunta/g' state1_copy.fig sed -i 's/@chainid/marabunta/g' state2_copy.fig sed -i 's/@chainid/marabunta/g' state3_copy.fig -sed -i 's/@account1/da5ceafc37c8e5fbf01c299b2ccd1deebcad79d1f37e8cd37bd7af0b3df6faf2#0/g' Tutorial.md -sed -i 's/@short_account1/da5ceafc37c...#0/g' state2_copy.fig -sed -i 's/@short_account1/da5ceafc37c...#0/g' state3_copy.fig -sed -i 's/@36words_of_account1/ 1: move\n 2: jazz\n 3: indicate\n 4: seek\n 5: child\n 6: banner\n 7: sadness\n 8: sand\n 9: country\n10: sad\n11: away\n12: exile\n13: place\n14: install\n15: valid\n16: weekend\n17: tourist\n18: test\n19: alpha\n20: farm\n21: ready\n22: grief\n23: jeans\n24: stuff\n25: pulp\n26: soldier\n27: lamp\n28: wonder\n29: snake\n30: sadness\n31: gadget\n32: thumb\n33: digital\n34: result\n35: royal\n36: rural/g' Tutorial.md -sed -i "s/@publickeyaccount1/j38M8fQ8sUXzTBFhFsFyV3B11s9Xjwigy6TE8h\/IEDc=/g" Tutorial.md -sed -i "s/@short_publickeyaccount1/j38M8fQ8sU.../g" state2_copy.fig -sed -i "s/@short_publickeyaccount1/j38M8fQ8sU.../g" state3_copy.fig -sed -i 's/@account_anonymous/c980b5701ba05895c1ed4ca31ac93e6e3163e90cf95d9d91716736d7785b83a3#0/g' Tutorial.md -sed -i 's/@new_key/DKRoopGmmzn6VSGR8AvtC15gHCjtwqYeWpyob7w2YZar/g' Tutorial.md -sed -i 's/@family_address/ecd2fede8472200f8fc0820a248445985d4ee45cc7462b6864e9fc57710e1f48/g' Tutorial.md -sed -i 's/@short_family_address/ecd2fede84.../g' state3_copy.fig -sed -i 's/@code_family_address/68aa761740db347ad9fb0bb2ae3cfa3e1989051a591cda4611740cda45287e1a/g' Tutorial.md -sed -i 's/@family2_address/13a25c8225d6650406c4470925bdc3b3027ab515ca5b011a0f27bf503ea594b4/g' Tutorial.md -sed -i 's/@family_exported_address/1cd736703ff0781a4a6aa045e7b55520ba4fc8a8209391401bcd45cccbd42478/g' Tutorial.md -sed -i 's/@family3_address/4fd4ee5810133597615fd53a4d50aa8ce609ac027c1c2ce528d79a7abeb04804/g' Tutorial.md -sed -i 's/@person_object/54239f919366a00ec15ede6061de8252caf096bc1724527c8173efbd38d2de6a#0/g' Tutorial.md -sed -i 's/@person2_object/fd021e0ec11732c55f2fbd9e480339ed10dafca6aeebea47a67d0abad2368e10#0/g' Tutorial.md -sed -i 's/@person3_object/f21090fc4d2072a75c82c67662d369a0af48d5899a5fd10832386fba2bafbb8b#0/g' Tutorial.md -sed -i 's/@gradual_ponzi_address/775ec579852725da25418ff5677513b24a5c1780f3d4cf95424b39be68c6faba/g' Tutorial.md -sed -i 's/@gradual_ponzi_object/2c99690e50aa75b38df27991cb65fc8431c1424cbe1e0bbf1f804af98dcbea5e#0/g' Tutorial.md -sed -i 's/@gradual_ponzi_list/2c99690e50aa75b38df27991cb65fc8431c1424cbe1e0bbf1f804af98dcbea5e#1/g' Tutorial.md -sed -i 's/@gradual_ponzi_first/2c99690e50aa75b38df27991cb65fc8431c1424cbe1e0bbf1f804af98dcbea5e#2/g' Tutorial.md -sed -i 's/@gradual_ponzi_last/398ebf2f871cb19cdb80d7fcd1ac01ed1f33d12b832b0277ac694bd6b3191dc4#0/g' Tutorial.md -sed -i 's/@account2/caa3a8d71ff2577c38947d7bb9565957dfc778b8904cade4deca718ced83ae49#0/g' Tutorial.md -sed -i 's/@account3/d85759af2a019fdd4b8f3c3a4bec40a8069df0c481679d4022386f8fffff09c8#0/g' Tutorial.md -sed -i 's/@account4/f827fd99b925b358bdcfcc9dd28cbe8838b7f32f81852f95c1f738e6b0efc593#0/g' Tutorial.md -sed -i 's/@account5/4b2dc2baa68940bcaf31649fa34c75dabb55bbab75f78c1d947cad2428073c4c#0/g' Tutorial.md -sed -i 's/@account6/d1b23a0df402bff103e4bd36e2ccabbfd89ec67803408ee59c5e5e7c42427580#0/g' Tutorial.md -sed -i 's/@account7/1b8412be2cdbdc4310ccd5b167d43706f8cd42638dd519465369caf37966d73f#0/g' Tutorial.md -sed -i 's/@publickeyaccount4/xsvCqG2w5WV1WTyZ3o5Dl7+r5kUF7ZO5ahk7xSGdbVI=/g' Tutorial.md +sed -i 's/@account1/ecc98397a53d4e9cbab9046caa6e5c96372b6965a6d3626753a2dff9a4f8648d#0/g' Tutorial.md +sed -i 's/@short_account1/ecc98397a53...#0/g' state2_copy.fig +sed -i 's/@short_account1/ecc98397a53...#0/g' state3_copy.fig +sed -i 's/@36words_of_account1/ 1: cluster\n 2: window\n 3: notice\n 4: orchard\n 5: roast\n 6: section\n 7: purchase\n 8: limit\n 9: accident\n10: blade\n11: bicycle\n12: march\n13: smart\n14: scrub\n15: future\n16: police\n17: excess\n18: total\n19: purity\n20: angle\n21: skirt\n22: damp\n23: inch\n24: shoulder\n25: clock\n26: enroll\n27: have\n28: plug\n29: chapter\n30: prefer\n31: merge\n32: you\n33: pilot\n34: segment\n35: cash\n36: vintage/g' Tutorial.md +sed -i "s/@publickeyaccount1/Us+I9cmpCom0V2mj6122bZ6ETwkgrEqLhW4\/hImgfn0=/g" Tutorial.md +sed -i "s/@short_publickeyaccount1/Us+I9cmpCo.../g" state2_copy.fig +sed -i "s/@short_publickeyaccount1/Us+I9cmpCo.../g" state3_copy.fig +sed -i 's/@account_anonymous/7d8ad0f560db6e519bdd7d2e17f0f2453dcb63cf09972aca8a187502bb9eab1a#0/g' Tutorial.md +sed -i 's/@new_key/DtoTbvTTFK6vwD4Gqx84Zy8ZKuty2AxUBiHr9ibey9Jz/g' Tutorial.md +sed -i 's/@family_address/d6e61f8eb43ac5ffcd2679cb8e1c364852caac1eb909f1023b8887867c8f61fd/g' Tutorial.md +sed -i 's/@short_family_address/d6e61f8eb4.../g' state3_copy.fig +sed -i 's/@code_family_address/4a49c4de02ef3a89e269cf023d654406b26799873e3a86a5edde23494062fb6f/g' Tutorial.md +sed -i 's/@family2_address/186c69408be303bab1b75b506de1f5080c25ceff72c66a05c99ed406a642e90f/g' Tutorial.md +sed -i 's/@family_exported_address/800683890e775acc01212f25102c56a1aab1244eaa81a5a9f8610bb120344cc9/g' Tutorial.md +sed -i 's/@family3_address/72475b6541c780b7b5ae33c5d762580cf4fe685489e7291336a0030e188209f8/g' Tutorial.md +sed -i 's/@person_object/ad0553caca35a81250e78f301523474d81b87af4d48d5b0a91c7c6beca52d29b#0/g' Tutorial.md +sed -i 's/@person2_object/2651af2642874957433676f4073b35d21bbd28e5ab52970bf9207ca6f45bac9b#0/g' Tutorial.md +sed -i 's/@person3_object/92e098c2cecdce49475fa8a5ee1437f3926829a12e6f8594d2b43a3ffff4ac87#0/g' Tutorial.md +sed -i 's/@gradual_ponzi_address/a45b8ea4b0df82e53271b80e5aff20291b339e6388e3a935ff5b8b355e08fa1f/g' Tutorial.md +sed -i 's/@gradual_ponzi_object/e2b10bce9162b976970b31b6c910845d61ddad5b2e0056850520f4686e0d4a4a#0/g' Tutorial.md +sed -i 's/@gradual_ponzi_list/e2b10bce9162b976970b31b6c910845d61ddad5b2e0056850520f4686e0d4a4a#1/g' Tutorial.md +sed -i 's/@gradual_ponzi_first/e2b10bce9162b976970b31b6c910845d61ddad5b2e0056850520f4686e0d4a4a#2/g' Tutorial.md +sed -i 's/@gradual_ponzi_last/21f66fdcaaa583e15c258ff10c0232cfd45522932a3164678601b3c08cea53b3#0/g' Tutorial.md +sed -i 's/@account2/66ac35b5435eb558f1c09cac7b8eed44a17c71b9cb8fecc7a1822f51b8397e08#0/g' Tutorial.md +sed -i 's/@account3/1624f46d236f29470512d64054a734b746a042e03a1110419bd317cf245becf7#0/g' Tutorial.md +sed -i 's/@account4/96797575214cfebb5e38b132e06b09582d1aadf28895fade1a57a9d123883209#0/g' Tutorial.md +sed -i 's/@account5/b28f591b8d31d291bfeb07d0556d75965d9bb53f3177621bd4845947ea185402#0/g' Tutorial.md +sed -i 's/@account6/6e9d738c572c01f13b53948d0a5bd7d2f8c323fa24f699a9e61fbeaa90d294ca#0/g' Tutorial.md +sed -i 's/@account7/fcdbd2437b0f404df1a384d478184117adef43479126f7804e95225d579a6262#0/g' Tutorial.md +sed -i 's/@publickeyaccount4/+ioEmT5i38Mo2auegR\/Sj0OZxmLbhvaXFtvudDKXMbI=/g' Tutorial.md sed -i 's/@short_publickeyaccount5/MIIDQjCCAjUGByqGSM44BAEwggIoAo.../g' Tutorial.md -sed -i 's/@tictactoe_address/472976d486586feef25f7cdc78fac7d3cd910b5bb6d28dd058676ddb191e103c/g' Tutorial.md -sed -i 's/@tictactoe_object/fc71778362ef3db27137afeb8dfdb53a03f35f323dc171a6b38996bf754b2764#0/g' Tutorial.md -sed -i 's/@erc20_address/a699cd3917a8a6eacd7edab48fa5b993d643d58b628b10246c950e1aa0fd1626/g' Tutorial.md -sed -i 's/@erc20_object/2bdaa2554a8720418c0a17c00c43a6c5cfd8be011770ed13916da18c5428033f#0/g' Tutorial.md -sed -i 's/@server/panarea.hotmoka.io/g' Tutorial.md -sed -i 's/@new_docker_key/EHUnrQooCTDDWytAoMcDspSuUVprKdHyahNUUNWhydkj/g' Tutorial.md -sed -i 's/@container_id1/63887f9a9ecac5d48c0d3a302fee0eddfd06ac3a41c6dde6ac825e0f30fe7248/g' Tutorial.md -sed -i 's/@docker_takamaka_code/ced33b3dde5c99993528f4fe83e015ae0847c1fa2afaae47a6932fcd01fca4b1/g' Tutorial.md -sed -i 's/@docker_manifest/a8729f32a95220615275437fe9552d4e87b89a4ffa8803f6dcf99f244aa21c52#0/g' Tutorial.md -sed -i 's/@docker_gamete/d5f5d35e561edf06a864d48f5468898ae215b8e3dd0466f6fe4936f938a58acb#0/g' Tutorial.md -sed -i 's/@docker_validators/a8729f32a95220615275437fe9552d4e87b89a4ffa8803f6dcf99f244aa21c52#1/g' Tutorial.md -sed -i 's/@docker_validator0/9925a3df62d5c0e07dc351bdc6f074b1cf66e05ad4cf3e99c2f228ca5b22fb74#0/g' Tutorial.md -sed -i 's/@docker_id_validator0/DD81EECE7FF72FE3EB609733A07C5EEA552F9C1E/g' Tutorial.md -sed -i 's/@container_id2/09496e7f3b0bdca760c95eb2f5a4b4159db4189a7896b7ef4f2db1b8a4bd394f/g' Tutorial.md -sed -i 's/@container_id3/d8986ba3e3743655c87e2d3be5fdf5902ff61f79c199c1f6f08da8d4fffbea36/g' Tutorial.md -sed -i 's/@docker_new_account/581175caf42dbb094eaa5a0295aa3bd5cbfdf2c459546b6fe88c3d65fdd394b7#0/g' Tutorial.md -sed -i 's/@docker_total_gas_new_account/2577/g' Tutorial.md -sed -i 's/@docker_reduced_balance/999999998762856/g' Tutorial.md +sed -i 's/@tictactoe_address/6eb9b42f336e6745ad90cddfbf9d6a18217a4f3d713fd5c09c51a6e66f80b322/g' Tutorial.md +sed -i 's/@tictactoe_object/dda0e74c32656173df094de78fba1192398a577eefe897b8f1eb56fab978eaef#0/g' Tutorial.md +sed -i 's/@erc20_address/cb01fa40fad6cdcb56a7a0ab99a706f15d9b9533f5cec6bb299ecc9835f66b31/g' Tutorial.md +sed -i 's/@erc20_object/7aadc95bca587da7705496bf1b833594125e983ccaabdb784de42b10c2aa9e8a#0/g' Tutorial.md +sed -i 's/@server/ws:\/\/panarea.hotmoka.io/g' Tutorial.md +sed -i 's/@new_docker_key/E4nsMYUerQq2pB4hKV3vGee3bcWuGPNYw1QtcNqkXXLU/g' Tutorial.md +sed -i 's/@container_id1/2bdcaefb79c9c2109b8fd0266665991f08fd6725bbc66f2754d5bbaabc693493/g' Tutorial.md +sed -i 's/@docker_takamaka_code/539c58b64358bcd2aaca8752ae2442aa119b0cadffc233ac7cfc07dd6d69e96f/g' Tutorial.md +sed -i 's/@docker_manifest/a9214bed3cd29aceb99ac13bb0ec62af5e37cdd62cd38eac48f5de45390ee811#0/g' Tutorial.md +sed -i 's/@docker_gamete/a66fcddf15aa4458068b8f3eba79272c4436e04240891763ab9a756ad6c0fdd0#0/g' Tutorial.md +sed -i 's/@docker_validators/a9214bed3cd29aceb99ac13bb0ec62af5e37cdd62cd38eac48f5de45390ee811#1/g' Tutorial.md +sed -i 's/@docker_validator0/d9aa5ee6c7ba17f746bf539f133e4248bff2af56b6b060e8458358f58e6a8c40#0/g' Tutorial.md +sed -i 's/@docker_id_validator0/2B0CB544900A57983032AE1D87CFA06DB5A0981C/g' Tutorial.md +sed -i 's/@container_id2/0c9878d4857b6709ba8c745c114f5e23fe2c6f2af142c80404d82e03ca3b67d8/g' Tutorial.md +sed -i 's/@container_id3/84a307f16dca5b2e1f199dad17569dd79db54da11f60ad5303314cb8c02128f9/g' Tutorial.md +sed -i 's/@docker_new_account/5ffed1e1bcad06a052a9468d07899ef9170dd990b8d6cf400dcb04a9f628cc5a#0/g' Tutorial.md +sed -i 's/@docker_total_gas_new_account/2575/g' Tutorial.md +sed -i 's/@docker_reduced_balance/999999998762858/g' Tutorial.md sed -i 's/@docker_balance_validator0/645/g' Tutorial.md -sed -i 's/@docker_staked_validator0/1934/g' Tutorial.md -sed -i 's/@docker_diff1/1237144/g' Tutorial.md -sed -i 's/@docker_diff2/2577/g' Tutorial.md +sed -i 's/@docker_staked_validator0/1932/g' Tutorial.md +sed -i 's/@docker_diff1/1237142/g' Tutorial.md +sed -i 's/@docker_diff2/2575/g' Tutorial.md sed -i 's/@docker_diff3/2/g' Tutorial.md -sed -i 's/@docker_sum1/2579/g' Tutorial.md +sed -i 's/@docker_sum1/2577/g' Tutorial.md # we regenerate the png figures, since they might contain some string changed # by previous sed commands