Tkdrg
553ce69257
Credits to GinjaNinja32@bay12 for developing dmitool and PsiOmegaDelta@bay12 for some of these scripts. Thanks also to neersighted for reminding me that we need this. Basically this is like the map merger, except for icons. You can install a hook using the instructions in the dmitool folder, and it should automatically merge your DMIs for you. This means you can solve icon conflicts effortlessly most of the time.
7 lines
173 B
Bash
Executable File
7 lines
173 B
Bash
Executable File
F="../../.git/config"
|
|
|
|
echo '' >> $F
|
|
echo '[merge "merge-dmi"]' >> $F
|
|
echo ' name = iconfile merge driver' >> $F
|
|
echo ' driver = ./tools/dmitool/dmimerge.sh %O %A %B' >> $F
|