puo essere che installando i devtools aumenti le applicazioni terminal?